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