class Foo; // { dg-error "" } void bar(void* p) { static_cast(p)->~Foo(); // { dg-error "" } }