1a5728872c7702ddd09537c95bc3cbd20e1f2fb09Daniel Dunbar// RUN: %clang_cc1 -fsyntax-only -verify %s 2500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 3500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregortemplate<typename T> struct A { }; 4500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 5500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor// Top-level cv-qualifiers of P's type are ignored for type deduction. 6500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregortemplate<typename T> A<T> f0(const T); 7500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 8500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregorvoid test_f0(int i, const int ci) { 9500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<int> a0 = f0(i); 10500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<int> a1 = f0(ci); 11500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor} 12500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 13500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor// If P is a reference type, the type referred to by P is used for type 14500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor// deduction. 15500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregortemplate<typename T> A<T> f1(T&); 16500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 17500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregorvoid test_f1(int i, const int ci, volatile int vi) { 18500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<int> a0 = f1(i); 19500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<const int> a1 = f1(ci); 20500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<volatile int> a2 = f1(vi); 21500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor} 22500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 23500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregortemplate<typename T, unsigned N> struct B { }; 24500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregortemplate<typename T, unsigned N> B<T, N> g0(T (&array)[N]); 25442471309fa97348f849687a6a8ef4acc3bc2c1fDouglas Gregortemplate<typename T, unsigned N> B<T, N> g0b(const T (&array)[N]); 26500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 27500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregorvoid test_g0() { 28500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor int array0[5]; 29500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor B<int, 5> b0 = g0(array0); 30500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor const int array1[] = { 1, 2, 3}; 31500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor B<const int, 3> b1 = g0(array1); 32442471309fa97348f849687a6a8ef4acc3bc2c1fDouglas Gregor B<int, 3> b2 = g0b(array1); 33500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor} 34500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 358a5cb1196ee8491570160e36c216631df3a9e95cDouglas Gregortemplate<typename T> B<T, 0> g1(const A<T>&); 368a5cb1196ee8491570160e36c216631df3a9e95cDouglas Gregor 378a5cb1196ee8491570160e36c216631df3a9e95cDouglas Gregorvoid test_g1(A<float> af) { 388a5cb1196ee8491570160e36c216631df3a9e95cDouglas Gregor B<float, 0> b0 = g1(af); 398a5cb1196ee8491570160e36c216631df3a9e95cDouglas Gregor B<int, 0> b1 = g1(A<int>()); 408a5cb1196ee8491570160e36c216631df3a9e95cDouglas Gregor} 418a5cb1196ee8491570160e36c216631df3a9e95cDouglas Gregor 42500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor// - If the original P is a reference type, the deduced A (i.e., the type 43500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor// referred to by the reference) can be more cv-qualified than the 44500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor// transformed A. 45500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregortemplate<typename T> A<T> f2(const T&); 46500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 47500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregorvoid test_f2(int i, const int ci, volatile int vi) { 48500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<int> a0 = f2(i); 49500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<int> a1 = f2(ci); 50500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor A<volatile int> a2 = f2(vi); 51500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor} 52500d331eade2f5070b66ba51d777224f9fda6e1dDouglas Gregor 5321714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor// PR5913 5421714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregortemplate <typename T, int N> 5521714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregorvoid Foo(const T (&a)[N]) { 5621714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor T x; 5721714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor x = 0; 5821714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor} 5921714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor 6021714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregorconst int a[1] = { 0 }; 6121714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor 6221714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregorvoid Test() { 6321714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor Foo(a); 6421714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor} 6521714013498fd84a6e8d5ceb1af5d14b6531cfb5Douglas Gregor 66508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregor// - The transformed A can be another pointer or pointer to member type that 67508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregor// can be converted to the deduced A via a qualification conversion (4.4). 68508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregortemplate<typename T> A<T> f3(T * * const * const); 69508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregor 70508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregorvoid test_f3(int ***ip, volatile int ***vip) { 71508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregor A<int> a0 = f3(ip); 72508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregor A<volatile int> a1 = f3(vip); 73508f1c889b9833903ea394034fe0246d3a57a32dDouglas Gregor} 7418e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth 7518e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth// Also accept conversions for pointer types which require removing 7618e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth// [[noreturn]]. 7718e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruthnamespace noreturn_stripping { 7818e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth template <class R> 7918e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth void f(R (*function)()); 8018e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth 8118e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth void g() __attribute__ ((__noreturn__)); 8218e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth void h(); 8318e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth void test() { 8418e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth f(g); 8518e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth f(h); 8618e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth } 8718e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth} 8818e0461ad72dcf6ec93cd3b1df7bf1b5a30b10b7Chandler Carruth 89de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor// - If P is a class, and P has the form template-id, then A can be a 90de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor// derived class of the deduced A. Likewise, if P is a pointer to a class 91de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor// of the form template-id, A can be a pointer to a derived class pointed 92de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor// to by the deduced A. 93de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregortemplate<typename T, int I> struct C { }; 94de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor 95de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregorstruct D : public C<int, 1> { }; 96de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregorstruct E : public D { }; 97de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregorstruct F : A<float> { }; 984a5c15f75f76b95e1c2ceb6fa2737dcadd5f4be1Douglas Gregorstruct G : A<float>, C<int, 1> { }; 99de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor 100de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregortemplate<typename T, int I> 101de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<T, I> *f4a(const C<T, I>&); 102de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregortemplate<typename T, int I> 103de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<T, I> *f4b(C<T, I>); 104de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregortemplate<typename T, int I> 105de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<T, I> *f4c(C<T, I>*); 106de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregorint *f4c(...); 107de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor 1084a5c15f75f76b95e1c2ceb6fa2737dcadd5f4be1Douglas Gregorvoid test_f4(D d, E e, F f, G g) { 109de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<int, 1> *ci1a = f4a(d); 110de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<int, 1> *ci2a = f4a(e); 111de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<int, 1> *ci1b = f4b(d); 112de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<int, 1> *ci2b = f4b(e); 113de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<int, 1> *ci1c = f4c(&d); 114de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor C<int, 1> *ci2c = f4c(&e); 1154a5c15f75f76b95e1c2ceb6fa2737dcadd5f4be1Douglas Gregor C<int, 1> *ci3c = f4c(&g); 116de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor int *ip1 = f4c(&f); 117de0cb8b6c15c756e14b0716bebd40f4ce48ee717Douglas Gregor} 118053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor 119053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor// PR8462 120053105d58552c600a2e56473592212a9bddafcd4Douglas Gregornamespace N { 121053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor struct T0; 122053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor struct T1; 123053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor 124053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor template<typename X, typename Y> struct B {}; 125053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor 126053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor struct J : B<T0,T0> {}; 127053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor struct K : B<T1,T1> {}; 128053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor 129053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor struct D : J, K {}; 130053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor 131053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor template<typename X, typename Y> void F(B<Y,X>); 132053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor 133053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor void test() 134053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor { 135053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor D d; 136053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor N::F<T0>(d); // Fails 137053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor N::F<T1>(d); // OK 138053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor } 139053105d58552c600a2e56473592212a9bddafcd4Douglas Gregor} 140dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor 141dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregornamespace PR9233 { 142dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor template<typename T> void f(const T **q); // expected-note{{candidate template ignored: substitution failure [with T = int]}} 143dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor 144dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor void g(int **p) { 145dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor f(p); // expected-error{{no matching function for call to 'f'}} 146dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor } 147dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor 148dbfb371e297794e827ad2e5b33b45fafbfc46b29Douglas Gregor} 149