// Jason Merrill <jason@redhat.com> // Special g++ Options: -w // 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; }