gcc/testsuite/g++.old-deja/g++.other/inline7.C

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