1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 // C++ [basic.def.odr]p2: 4 // An expression is potentially evaluated unless it [...] is the 5 // operand of the typeid operator and the expression does not 6 // designate an lvalue of polymorphic class type. 7 8 // FIXME: This should really include <typeinfo>, but we don't have that yet. 9 namespace std { 10 class type_info; 11 } 12 13 struct Poly { 14 virtual ~Poly(); 15 }; 16 17 struct NonPoly { }; 18 19 template<typename T, typename Result = T> 20 struct X { 21 Result f(T t) { return t + t; } // expected-error{{invalid operands}} 22 23 void g(T t) { 24 (void)typeid(f(t)); // expected-note{{here}} 25 } 26 }; 27 28 void test(X<Poly> xp, X<Poly, Poly&> xpr, X<NonPoly> xnp, X<NonPoly, NonPoly&> xnpr) { 29 // These are okay (although GCC and EDG get them wrong). 30 xp.g(Poly()); 31 xnp.g(NonPoly()); 32 xnpr.g(NonPoly()); 33 34 // Triggers an error (as it should); 35 xpr.g(Poly()); // expected-note{{instantiation of member function}} 36 } 37
