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