1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s
3 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
4
5 // PR4607
6 template <class T> struct X {};
7
8 template <> struct X<char>
9 {
10 static char* g();
11 };
12
13 template <class T> struct X2 {};
14
15 template <class U>
16 struct X2<U*> {
fX217 static void f() {
18 X<U>::g();
19 }
20 };
21
a(char * a,char * b)22 void a(char *a, char *b) {X2<char*>::f();}
23
24 namespace WonkyAccess {
25 template<typename T>
26 struct X {
27 int m;
28 };
29
30 template<typename U>
31 class Y;
32
33 template<typename U>
34 struct Y<U*> : X<U> { };
35
36 template<>
37 struct Y<float*> : X<float> { };
38
f(Y<int * > y,Y<float * > y2)39 int f(Y<int*> y, Y<float*> y2) {
40 return y.m + y2.m;
41 }
42 }
43
44 // <rdar://problem/9169404>
45 namespace rdar9169404 {
46 template<typename T, T N> struct X { };
47 template<bool C> struct X<bool, C> {
48 typedef int type;
49 };
50
51 X<bool, -1>::type value;
52 #if __cplusplus >= 201103L
53 // expected-error@-2 {{non-type template argument evaluates to -1, which cannot be narrowed to type 'bool'}}
54 #else
55 // expected-no-diagnostics
56 #endif
57 }
58