// { dg-do assemble } // { dg-options "-O" } // Origin: Mark Mitchell <mitchell@codesourcery.com> template <class T> struct S { inline ~S () {} }; template <class T> void f () { static S<T> s; } template void f<int>();