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