// 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 (); }