1// Origin: Mark Mitchell <mark@codesourcery.com> 2// Special g++ Options: -O2 3 4#include <list> 5 6std::list<int*> li; 7 8void f () 9{ 10 li.size (); 11} 12 13int main () 14{ 15 li.push_back (0); 16 f (); 17} 18