1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// { dg-do assemble } class x { public: virtual int is_constant(); }; void foo() { x* y; if (y->is_constant) // { dg-error "" } assuming & { } }