// { dg-do run } // { dg-options "-w" } // Jason Merrill <jason@redhat.com> // Test for deleting a void pointer, which the standard says is undefined, // but which is used by several free C++ programs. void *p; int main () { delete [] p; }