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