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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O3 -fdump-ipa-inline-details -fno-early-inlining -fno-ipa-cp" } */
   3 struct A {virtual int foo () {return 1;}};
   4 struct B:A {virtual int foo () {return 2;}};
   5
   6 void dostuff(struct A *);
   7
   8 static void
   9 test (struct A *a)
  10 {
  11   dostuff (a);
  12   if (a->foo ()!= 2)
  13     __builtin_abort ();
  14 }
  15
  16 main()
  17 {
  18   struct B a;
  19   dostuff (&a);
  20   test (&a);
  21 }
  22 /* Inlining of dostuff into main should combine polymorphic context
  23    specifying Outer type:struct B offset 0
  24    with Outer type (dynamic):struct A (or a derived type) offset 0
  25    and enable devirtualization.
  26
  27    Because the type is in static storage, we know it won't change type in dostuff
  28    and from callstack we can tell that is is not in construction/destruction.  */
  29 /* { dg-final { scan-ipa-dump "Second type is base of first" "inline"  } } */
  30 /* { dg-final { scan-ipa-dump-times "Discovered a virtual call to a known target" 1 "inline"  } } */
  31 /* { dg-final { cleanup-ipa-dump "inline" } } */