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