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

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