// { dg-do run  }
// { dg-options "-O2" }
// Origin: Mark Mitchell <mark@codesourcery.com>

#include <list>

std::list<int*> li;

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

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