Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Douglas Gregor | 83ddad3 | 2009-08-26 21:14:46 +0000 | [diff] [blame] | 2 | |
| 3 | struct X0 { // expected-note 4{{candidate}} |
| 4 | X0(int*, float*); // expected-note 4{{candidate}} |
| 5 | }; |
| 6 | |
| 7 | template<typename T, typename U> |
| 8 | X0 f0(T t, U u) { |
| 9 | X0 x0(t, u); // expected-error{{no matching}} |
| 10 | return X0(t, u); // expected-error{{no matching}} |
| 11 | } |
| 12 | |
| 13 | void test_f0(int *ip, float *fp, double *dp) { |
| 14 | f0(ip, fp); |
| 15 | f0(ip, dp); // expected-note{{instantiation}} |
| 16 | } |
| 17 | |
| 18 | template<typename Ret, typename T, typename U> |
| 19 | Ret f1(Ret *retty, T t, U u) { |
| 20 | Ret r0(t, u); // expected-error{{no matching}} |
| 21 | return Ret(t, u); // expected-error{{no matching}} |
| 22 | } |
| 23 | |
| 24 | void test_f1(X0 *x0, int *ip, float *fp, double *dp) { |
| 25 | f1(x0, ip, fp); |
| 26 | f1(x0, ip, dp); // expected-note{{instantiation}} |
| 27 | } |
| 28 | |
Douglas Gregor | 91be6f5 | 2010-03-02 17:18:33 +0000 | [diff] [blame] | 29 | namespace PR6457 { |
| 30 | template <typename T> struct X { explicit X(T* p = 0) { }; }; |
| 31 | template <typename T> struct Y { Y(int, const T& x); }; |
| 32 | struct A { }; |
| 33 | template <typename T> |
| 34 | struct B { |
| 35 | B() : y(0, X<A>()) { } |
| 36 | Y<X<A> > y; |
| 37 | }; |
| 38 | B<int> b; |
| 39 | } |
Douglas Gregor | 28329e5 | 2010-03-24 21:22:47 +0000 | [diff] [blame] | 40 | |
| 41 | namespace PR6657 { |
| 42 | struct X |
| 43 | { |
| 44 | X (int, int) { } |
| 45 | }; |
| 46 | |
| 47 | template <typename> |
| 48 | void f0() |
| 49 | { |
| 50 | X x = X(0, 0); |
| 51 | } |
| 52 | |
| 53 | void f1() |
| 54 | { |
| 55 | f0<int>(); |
| 56 | } |
| 57 | } |
Chandler Carruth | e4d645c | 2011-05-27 01:33:31 +0000 | [diff] [blame] | 58 | |
| 59 | // Instantiate out-of-line definitions of static data members which complete |
| 60 | // types through an initializer even when the only use of the member that would |
| 61 | // cause instantiation is in an unevaluated context, but one requiring its |
| 62 | // complete type. |
| 63 | namespace PR10001 { |
| 64 | template <typename T> struct S { |
| 65 | static const int arr[]; |
| 66 | static const int x; |
| 67 | static int f(); |
| 68 | }; |
| 69 | |
| 70 | template <typename T> const int S<T>::arr[] = { 1, 2, 3 }; |
| 71 | template <typename T> const int S<T>::x = sizeof(arr) / sizeof(arr[0]); |
| 72 | template <typename T> int S<T>::f() { return x; } |
| 73 | |
| 74 | int x = S<int>::f(); |
| 75 | } |
Douglas Gregor | f15748a | 2011-06-03 03:35:07 +0000 | [diff] [blame] | 76 | |
| 77 | namespace PR7985 { |
| 78 | template<int N> struct integral_c { }; |
| 79 | |
| 80 | template <typename T, int N> |
Douglas Gregor | 36f255c | 2011-06-03 14:28:43 +0000 | [diff] [blame] | 81 | integral_c<N> array_lengthof(T (&x)[N]) { return integral_c<N>(); } // expected-note 2{{candidate template ignored: failed template argument deduction}} |
Douglas Gregor | f15748a | 2011-06-03 03:35:07 +0000 | [diff] [blame] | 82 | |
Douglas Gregor | 36f255c | 2011-06-03 14:28:43 +0000 | [diff] [blame] | 83 | template<typename T> |
Douglas Gregor | f15748a | 2011-06-03 03:35:07 +0000 | [diff] [blame] | 84 | struct Data { |
Douglas Gregor | 36f255c | 2011-06-03 14:28:43 +0000 | [diff] [blame] | 85 | T x; |
Douglas Gregor | f15748a | 2011-06-03 03:35:07 +0000 | [diff] [blame] | 86 | }; |
| 87 | |
| 88 | template<typename T> |
| 89 | struct Description { |
Douglas Gregor | 36f255c | 2011-06-03 14:28:43 +0000 | [diff] [blame] | 90 | static const Data<T> data[]; |
Douglas Gregor | f15748a | 2011-06-03 03:35:07 +0000 | [diff] [blame] | 91 | }; |
| 92 | |
| 93 | template<typename T> |
Douglas Gregor | 36f255c | 2011-06-03 14:28:43 +0000 | [diff] [blame] | 94 | const Data<T> Description<T>::data[] = {{ 1 }}; // expected-error{{cannot initialize a member subobject of type 'int *' with an rvalue of type 'int'}} |
| 95 | |
| 96 | template<> |
| 97 | Data<float*> Description<float*>::data[]; |
Douglas Gregor | f15748a | 2011-06-03 03:35:07 +0000 | [diff] [blame] | 98 | |
| 99 | void test() { |
| 100 | integral_c<1> ic1 = array_lengthof(Description<int>::data); |
Douglas Gregor | 36f255c | 2011-06-03 14:28:43 +0000 | [diff] [blame] | 101 | (void)sizeof(array_lengthof(Description<float>::data)); |
| 102 | |
| 103 | sizeof(array_lengthof( // expected-error{{no matching function for call to 'array_lengthof'}} |
| 104 | Description<int*>::data // expected-note{{in instantiation of static data member 'PR7985::Description<int *>::data' requested here}} |
| 105 | )); |
| 106 | |
| 107 | array_lengthof(Description<float*>::data); // expected-error{{no matching function for call to 'array_lengthof'}} |
Douglas Gregor | f15748a | 2011-06-03 03:35:07 +0000 | [diff] [blame] | 108 | } |
| 109 | } |