blob: 60f114b31b84f15c19514308fc9a3437146325d6 [file] [log] [blame]
// { 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;
}