1651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// RUN: %clang_cc1 -std=c++11 -verify %s 2651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 3651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinestypedef int (*fp)(int); 4651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint surrogate(int); 5651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 6651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct X { 7651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines X() = default; // expected-note{{candidate constructor not viable: requires 0 arguments, but 1 was provided}} 8651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines X(const X&) = default; // expected-note{{candidate constructor not viable: no known conversion from 'bool' to 'const X' for 1st argument}} 9651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines X(bool b) __attribute__((enable_if(b, "chosen when 'b' is true"))); // expected-note{{candidate disabled: chosen when 'b' is true}} 10651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 11651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines void f(int n) __attribute__((enable_if(n == 0, "chosen when 'n' is zero"))); 12651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines void f(int n) __attribute__((enable_if(n == 1, "chosen when 'n' is one"))); // expected-note{{member declaration nearly matches}} expected-note{{candidate disabled: chosen when 'n' is one}} 13651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 14651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static void s(int n) __attribute__((enable_if(n == 0, "chosen when 'n' is zero"))); // expected-note2{{candidate disabled: chosen when 'n' is zero}} 15651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 16651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines void conflict(int n) __attribute__((enable_if(n+n == 10, "chosen when 'n' is five"))); // expected-note{{candidate function}} 17651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines void conflict(int n) __attribute__((enable_if(n*2 == 10, "chosen when 'n' is five"))); // expected-note{{candidate function}} 18651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 19651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines operator long() __attribute__((enable_if(true, "chosen on your platform"))); 20651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines operator int() __attribute__((enable_if(false, "chosen on other platform"))); 21651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 22651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines operator fp() __attribute__((enable_if(false, "never enabled"))) { return surrogate; } // expected-note{{conversion candidate of type 'int (*)(int)'}} // FIXME: the message is not displayed 23651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}; 24651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 25651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid X::f(int n) __attribute__((enable_if(n == 0, "chosen when 'n' is zero"))) // expected-note{{member declaration nearly matches}} expected-note{{candidate disabled: chosen when 'n' is zero}} 26651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines{ 27651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 28651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 29651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid X::f(int n) __attribute__((enable_if(n == 2, "chosen when 'n' is two"))) // expected-error{{out-of-line definition of 'f' does not match any declaration in 'X'}} expected-note{{candidate disabled: chosen when 'n' is two}} 30651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines{ 31651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 32651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 33651f13cea278ec967336033dd032faef0e9fc2ecStephen HinesX x1(true); 34651f13cea278ec967336033dd032faef0e9fc2ecStephen HinesX x2(false); // expected-error{{no matching constructor for initialization of 'X'}} 35651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 36651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines__attribute__((deprecated)) constexpr int old() { return 0; } // expected-note2{{'old' has been explicitly marked deprecated here}} 37651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid deprec1(int i) __attribute__((enable_if(old() == 0, "chosen when old() is zero"))); // expected-warning{{'old' is deprecated}} 38651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid deprec2(int i) __attribute__((enable_if(old() == 0, "chosen when old() is zero"))); // expected-warning{{'old' is deprecated}} 39651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 40651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid overloaded(int); 41651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid overloaded(long); 42651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 43651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstruct Nothing { }; 44651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinestemplate<typename T> void typedep(T t) __attribute__((enable_if(t, ""))); // expected-note{{candidate disabled:}} expected-error{{value of type 'Nothing' is not contextually convertible to 'bool'}} 45651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinestemplate<int N> void valuedep() __attribute__((enable_if(N == 1, ""))); 46651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 47651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// FIXME: we skip potential constant expression evaluation on value dependent 48651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// enable-if expressions 49651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint not_constexpr(); 50651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinestemplate<int N> void valuedep() __attribute__((enable_if(N == not_constexpr(), ""))); 51651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 52651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinestemplate <typename T> void instantiationdep() __attribute__((enable_if(sizeof(sizeof(T)) != 0, ""))); 53651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 54651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid test() { 55651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines X x; 56651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines x.f(0); 57651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines x.f(1); 58651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines x.f(2); // no error, suppressed by erroneous out-of-line definition 59651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines x.f(3); // expected-error{{no matching member function for call to 'f'}} 60651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 61651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines x.s(0); 62651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines x.s(1); // expected-error{{no matching member function for call to 's'}} 63651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 64651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines X::s(0); 65651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines X::s(1); // expected-error{{no matching member function for call to 's'}} 66651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 67651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines x.conflict(5); // expected-error{{call to member function 'conflict' is ambiguous}} 68651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 69651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines deprec2(0); 70651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 71651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines overloaded(x); 72651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 73651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines int i = x(1); // expected-error{{no matching function for call to object of type 'X'}} 74651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 75651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Nothing n; 76651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines typedep(0); // expected-error{{no matching function for call to 'typedep'}} 77651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines typedep(1); 78651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines typedep(n); // expected-note{{in instantiation of function template specialization 'typedep<Nothing>' requested here}} 79651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 800e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 810e2c34f92f00628d48968dfea096d36381f494cbStephen Hinestemplate <typename T> class C { 820e2c34f92f00628d48968dfea096d36381f494cbStephen Hines void f() __attribute__((enable_if(T::expr == 0, ""))) {} 830e2c34f92f00628d48968dfea096d36381f494cbStephen Hines void g() { f(); } 840e2c34f92f00628d48968dfea096d36381f494cbStephen Hines}; 850e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 860e2c34f92f00628d48968dfea096d36381f494cbStephen Hinesint fn3(bool b) __attribute__((enable_if(b, ""))); 870e2c34f92f00628d48968dfea096d36381f494cbStephen Hinestemplate <class T> void test3() { 880e2c34f92f00628d48968dfea096d36381f494cbStephen Hines fn3(sizeof(T) == 1); 890e2c34f92f00628d48968dfea096d36381f494cbStephen Hines} 900e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 910e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// FIXME: issue an error (without instantiation) because ::h(T()) is not 920e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// convertible to bool, because return types aren't overloadable. 930e2c34f92f00628d48968dfea096d36381f494cbStephen Hinesvoid h(int); 940e2c34f92f00628d48968dfea096d36381f494cbStephen Hinestemplate <typename T> void outer() { 950e2c34f92f00628d48968dfea096d36381f494cbStephen Hines void local_function() __attribute__((enable_if(::h(T()), ""))); 960e2c34f92f00628d48968dfea096d36381f494cbStephen Hines local_function(); 970e2c34f92f00628d48968dfea096d36381f494cbStephen Hines}; 980e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 990e2c34f92f00628d48968dfea096d36381f494cbStephen Hinesnamespace PR20988 { 1000e2c34f92f00628d48968dfea096d36381f494cbStephen Hines struct Integer { 1010e2c34f92f00628d48968dfea096d36381f494cbStephen Hines Integer(int); 1020e2c34f92f00628d48968dfea096d36381f494cbStephen Hines }; 1030e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 1040e2c34f92f00628d48968dfea096d36381f494cbStephen Hines int fn1(const Integer &) __attribute__((enable_if(true, ""))); 1050e2c34f92f00628d48968dfea096d36381f494cbStephen Hines template <class T> void test1() { 1060e2c34f92f00628d48968dfea096d36381f494cbStephen Hines int &expr = T::expr(); 1070e2c34f92f00628d48968dfea096d36381f494cbStephen Hines fn1(expr); 1080e2c34f92f00628d48968dfea096d36381f494cbStephen Hines } 1090e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 1100e2c34f92f00628d48968dfea096d36381f494cbStephen Hines int fn2(const Integer &) __attribute__((enable_if(false, ""))); // expected-note{{candidate disabled}} 1110e2c34f92f00628d48968dfea096d36381f494cbStephen Hines template <class T> void test2() { 1120e2c34f92f00628d48968dfea096d36381f494cbStephen Hines int &expr = T::expr(); 1130e2c34f92f00628d48968dfea096d36381f494cbStephen Hines fn2(expr); // expected-error{{no matching function for call to 'fn2'}} 1140e2c34f92f00628d48968dfea096d36381f494cbStephen Hines } 1150e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 1160e2c34f92f00628d48968dfea096d36381f494cbStephen Hines int fn3(bool b) __attribute__((enable_if(b, ""))); 1170e2c34f92f00628d48968dfea096d36381f494cbStephen Hines template <class T> void test3() { 1180e2c34f92f00628d48968dfea096d36381f494cbStephen Hines fn3(sizeof(T) == 1); 1190e2c34f92f00628d48968dfea096d36381f494cbStephen Hines } 1200e2c34f92f00628d48968dfea096d36381f494cbStephen Hines} 121