1 // { dg-do assemble  }
2 
3 // Copyright (C) 1999 Free Software Foundation, Inc.
4 // Contributed by Nathan Sidwell 15 Apr 1999 <nathan@acm.org>
5 
6 // delete (void *)e and delete[] (void *)e result in undefined behavior
7 // [expr.delete/3]. Check we warn about them
8 // operator new functions can only return NULL, if their exceptions
9 // specification is `throw()'. All other cases must return a non-null pointer
10 // [expr.new/13].
11 
12 typedef __SIZE_TYPE__ size_t;
13 
new(size_t)14 void *operator new(size_t)
15 {
16   return 0; // { dg-warning "NULL" } cannot return NULL
17 }
18 void *operator new[](size_t)
19 {
20   return 0; // { dg-warning "NULL" } cannot return NULL
21 }
22 
23 struct X
24 {
newX25   void *operator new(size_t)
26   {
27     return 0; // { dg-warning "NULL" } cannot return NULL
28   }
29   void *operator new[](size_t)
30   {
31     return 0; // { dg-warning "NULL" } cannot return NULL
32   }
33 };
34 
35 struct Y
36 {
newY37   void *operator new(size_t) throw()
38   {
39     return 0; // ok
40   }
throwY41   void *operator new[](size_t) throw()
42   {
43     return 0; // ok
44   }
45 };
46 
fn(double * d,void * v)47 void fn(double *d, void *v)
48 {
49   delete d;   // ok
50   delete v;   // { dg-warning "" } deleting void
51   delete[] d; // ok
52   delete[] v; // { dg-warning "" } deleting void
53 }
54