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

   1 /* We shall devirtualize to unreachable.  No anonymous type method should surivve
   2    reachability.  */
   3 /* { dg-do compile } */
   4 /* { dg-options "-O2 -fdump-tree-ssa"  } */
   5 namespace {
   6 class B {
   7 public:
   8   virtual int foo(void)
   9 {
  10   return 0;
  11 }
  12 };
  13 class A : public B {
  14 public:
  15   virtual int foo(void)
  16 {
  17   return 1;
  18 }
  19 };
  20 }
  21 class B *b;
  22 main()
  23 {
  24   if (0)
  25     {
  26     class A a;
  27     a.foo();
  28     class B b;
  29     b.foo();
  30     }
  31   return b->foo();
  32 }
  33
  34 /* { dg-final { scan-tree-dump-not "A::foo" "ssa"} } */
  35 /* { dg-final { scan-tree-dump-not "B::foo" "ssa"} } */
  36 /* { dg-final { scan-tree-dump "builtin_unreachable" "ssa"} } */
  37 /* { dg-final { cleanup-tree-dump "ssa" } } */