gcc/testsuite/g++.dg/opt/devirt1.C

// { dg-do compile }
// { dg-options "-O2" }
// { dg-final { scan-assembler "xyzzy" } }

struct S { S(); virtual void xyzzy(); };
inline void foo(S *s) { s->xyzzy(); }
void bar() { S s; foo(&s); }