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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-ipa-devirt"  } */
   3 struct A {virtual int t(){return 42;}};
   4 struct B:A {virtual int t(){return 1;}};
   5
   6 struct A aa;
   7 struct B bb;
   8 int
   9 t(struct B *b)
  10 {
  11   struct A *a=b;
  12   a->t();
  13
  14   return 0;
  15 }
  16
  17 /* We should guess that the pointer of type B probably points to an instance
  18    of B or its derivates and exclude A::t from list of likely targets.  */
  19
  20 /* { dg-final { scan-ipa-dump "Speculative targets"  "devirt"  } } */
  21 /* { dg-final { scan-ipa-dump "1 speculatively devirtualized"  "devirt"  } } */