|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
2
|
|
|
3 template<typename T, typename U>
|
|
|
4 struct X1 {
|
|
|
5 static const int value = 0;
|
|
|
6 };
|
|
|
7
|
|
|
8 template<typename T, typename U>
|
|
|
9 struct X1<T*, U*> {
|
|
|
10 static const int value = 1;
|
|
|
11 };
|
|
|
12
|
|
|
13 template<typename T>
|
|
|
14 struct X1<T*, T*> {
|
|
|
15 static const int value = 2;
|
|
|
16 };
|
|
|
17
|
|
|
18 template<typename T>
|
|
|
19 struct X1<const T*, const T*> {
|
|
|
20 static const int value = 3;
|
|
|
21 };
|
|
|
22
|
|
|
23 int array0[X1<int, int>::value == 0? 1 : -1];
|
|
|
24 int array1[X1<int*, float*>::value == 1? 1 : -1];
|
|
|
25 int array2[X1<int*, int*>::value == 2? 1 : -1];
|
|
|
26 typedef const int* CIP;
|
|
|
27 int array3[X1<const int*, CIP>::value == 3? 1 : -1];
|
|
|
28
|
|
|
29 template<typename T, typename U>
|
|
|
30 struct X2 { };
|
|
|
31
|
|
|
32 template<typename T, typename U>
|
|
|
33 struct X2<T*, U> { }; // expected-note{{matches}}
|
|
|
34
|
|
|
35 template<typename T, typename U>
|
|
|
36 struct X2<T, U*> { }; // expected-note{{matches}}
|
|
|
37
|
|
|
38 template<typename T, typename U>
|
|
|
39 struct X2<const T*, const U*> { };
|
|
|
40
|
|
|
41 X2<int*, int*> x2a; // expected-error{{ambiguous}}
|
|
|
42 X2<const int*, const int*> x2b;
|
