1 2 3 4 5 6 7
class Foo; // { dg-error "" } void bar(void* p) { static_cast<Foo*>(p)->~Foo(); // { dg-error "" } }