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

   1 // PR c++/58678
   2 // { dg-options "-O3 -fdump-ipa-devirt" }
   3
   4 // We shouldn't speculatively devirtualize to ~B because B is an abstract
   5 // class; any actual object passed to f will be of some derived class which
   6 // has its own destructor.
   7
   8 struct A
   9 {
  10   virtual void f() = 0;
  11   virtual ~A();
  12 };
  13
  14 struct B : A
  15 {
  16   virtual ~B() {}
  17 };
  18
  19 void f(B* b)
  20 {
  21   delete b;
  22 }
  23
  24 // { dg-final { scan-ipa-dump-not "Speculatively devirtualizing" "devirt" } }