|
150
|
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 // Tests that dependent expressions are always allowed, whereas non-dependent
|
|
|
6 // are checked as usual.
|
|
|
7
|
|
|
8 #include <stddef.h>
|
|
|
9
|
|
|
10 // Fake typeid, lacking a typeinfo header.
|
|
|
11 namespace std { class type_info {}; }
|
|
|
12
|
|
|
13 struct dummy {}; // expected-note 3 {{candidate constructor (the implicit copy constructor)}}
|
|
|
14 #if __cplusplus >= 201103L // C++11 or later
|
|
|
15 // expected-note@-2 3 {{candidate constructor (the implicit move constructor) not viable}}
|
|
|
16 #endif
|
|
|
17
|
|
|
18 template<typename T>
|
|
|
19 int f0(T x) {
|
|
|
20 return (sizeof(x) == sizeof(int))? 0 : (sizeof(x) == sizeof(double))? 1 : 2;
|
|
|
21 }
|
|
|
22
|
|
|
23 template <typename T, typename U>
|
|
|
24 T f1(T t1, U u1, int i1)
|
|
|
25 {
|
|
|
26 T t2 = i1;
|
|
|
27 t2 = i1 + u1;
|
|
|
28 ++u1;
|
|
|
29 u1++;
|
|
|
30 int i2 = u1;
|
|
|
31
|
|
|
32 i1 = t1[u1];
|
|
|
33 i1 *= t1;
|
|
|
34
|
|
|
35 i1(u1, t1); // error
|
|
|
36 u1(i1, t1);
|
|
|
37
|
|
|
38 U u2 = (T)i1;
|
|
|
39 static_cast<void>(static_cast<U>(reinterpret_cast<T>(
|
|
|
40 dynamic_cast<U>(const_cast<T>(i1)))));
|
|
|
41
|
|
|
42 new U(i1, t1);
|
|
|
43 new int(t1, u1);
|
|
|
44 new (t1, u1) int;
|
|
|
45 delete t1;
|
|
|
46
|
|
|
47 dummy d1 = sizeof(t1); // expected-error {{no viable conversion}}
|
|
|
48 dummy d2 = offsetof(T, foo); // expected-error {{no viable conversion}}
|
|
|
49 dummy d3 = __alignof(u1); // expected-error {{no viable conversion}}
|
|
|
50 i1 = typeid(t1); // expected-error {{assigning to 'int' from incompatible type 'const std::type_info'}}
|
|
|
51
|
|
|
52 return u1;
|
|
|
53 }
|
|
|
54
|
|
|
55 template<typename T>
|
|
|
56 void f2(__restrict T x) {} // expected-note {{substitution failure [with T = int]: restrict requires a pointer or reference ('int' is invalid}}
|
|
|
57
|
|
|
58 void f3() {
|
|
|
59 f2<int*>(0);
|
|
|
60 f2<int>(0); // expected-error {{no matching function for call to 'f2'}}
|
|
|
61 }
|
