gcc/testsuite/g++.dg/ipa/devirt-47.C

   1 /* { dg-do compile } */
   2 /* { dg-options "-O3 -fno-ipa-cp -fdump-ipa-inline-details -fno-early-inlining -fdump-tree-optimized" } */
   3 struct A {
   4    virtual int foo(){return 1;}
   5 };
   6 struct B {
   7    virtual int bar(){return 4;}
   8 };
   9 struct C:B,A {
  10    virtual int foo(){return 2;}
  11 };
  12 static void
  13 test (struct A *a)
  14 {
  15   if (a->foo() != 2)
  16    __builtin_abort ();
  17 }
  18 int
  19 m()
  20 {
  21   struct A *a = new C;
  22   test (a);
  23   return 0;
  24 }
  25
  26 /* { dg-final { scan-ipa-dump-times "Discovered a virtual call to a known target\[^\\n\]*C::_ZTh" 1 "inline"  } } */
  27 /* { dg-final { scan-tree-dump-not "OBJ_TYPE_REF" "optimized"  } } */
  28 /* FIXME: We ought to inline thunk.  */
  29 /* { dg-final { scan-tree-dump "C::_ZThn" "optimized"  } } */