// Origin: Mark Mitchell <mark@codesourcery.com>
// Special g++ Options: -O2

#include <list>

std::list<int*> li;

void f ()
{
  li.size ();
}

int main ()
{
  li.push_back (0);
  f ();
}