gcc/testsuite/g++.dg/eh/delete1.C

   1 // { dg-do run }
   2 // { dg-xfail-run-if "AIX operator delete" { powerpc-ibm-aix* } }
   3
   4 // pr 55635, the delete operator must be called, regardless of whether
   5 // the dtor throws
   6
   7 static int deleted;
   8
   9 void operator delete (void *) throw ()
  10 {
  11   deleted = 1;
  12 }
  13
  14 struct Foo {
  15   ~Foo()
  16 #if __cplusplus <= 201402L
  17   throw(int)                    // { dg-warning "deprecated" "" { target { c++11 && { ! c++17 } } } }
  18 #else
  19   noexcept(false)
  20 #endif
  21   {throw 1;}
  22 };
  23
  24 struct Baz {
  25   void operator delete (void *) throw ()
  26   {
  27     deleted = 2;
  28   }
  29   virtual ~Baz()
  30 #if __cplusplus <= 201402L
  31   throw(int)                    // { dg-warning "deprecated" "" { target { c++11 && { ! c++17 } } } }
  32 #else
  33   noexcept(false)
  34 #endif
  35   {throw 1;}
  36 };
  37
  38 int non_virt ()
  39 {
  40   deleted = 0;
  41
  42   Foo *p = new Foo;
  43   try { delete p; }
  44   catch (...) { return deleted != 1;}
  45   return 1;
  46 }
  47
  48 int virt_glob ()
  49 {
  50   deleted = 0;
  51
  52   Baz *p = ::new Baz;
  53   try { ::delete p; }
  54   catch (...) { return deleted != 1;}
  55   return 1;
  56 }
  57
  58 int virt_del ()
  59 {
  60   deleted = 0;
  61
  62   Baz *p = new Baz;
  63   try { delete p; }
  64   catch (...) { return deleted != 2;}
  65   return 1;
  66 }
  67
  68 int ary ()
  69 {
  70   deleted = 0;
  71
  72   Baz *p = new Baz[1];
  73   try { delete[] p; }
  74   catch (...) { return deleted != 1;}
  75   return 1;
  76 }
  77
  78 int main ()
  79 {
  80   if (non_virt ())
  81     return 1;
  82
  83   if (virt_glob ())
  84     return 2;
  85
  86   if (virt_del ())
  87     return 3;
  88
  89   if (ary ())
  90     return 4;
  91
  92   return 0;
  93 }