1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 template<typename T, typename U> 3 struct X { 4 T f(T x, U y) { return x + y; } 5 6 unsigned g(T x, U y) { return sizeof(f(x, y)); } 7 }; 8 9 void test(X<int, int> *xii, X<int*, int> *xpi, X<int, int*> *xip) { 10 (void)xii->f(1, 2); 11 (void)xpi->f(0, 2); 12 (void)sizeof(xip->f(2, 0)); // okay: does not instantiate 13 (void)xip->g(2, 0); // okay: does not instantiate 14 } 15 16 template<typename T, typename U> 17 T add(T t, U u) { 18 return t + u; // expected-error{{invalid operands}} 19 } 20 21 void test_add(char *cp, int i, int *ip) { 22 char* cp2 = add(cp, i); 23 add(cp, cp); // expected-note{{instantiation of}} 24 (void)sizeof(add(ip, ip)); 25 } 26
