1 // RUN: %clang_cc1 -std=c++11 -verify %s 2 3 typedef int (*fp)(int); 4 int surrogate(int); 5 struct Incomplete; // expected-note{{forward declaration of 'Incomplete'}} \ 6 // expected-note {{forward declaration of 'Incomplete'}} 7 8 struct X { 9 X() = default; // expected-note{{candidate constructor not viable: requires 0 arguments, but 1 was provided}} 10 X(const X&) = default; // expected-note{{candidate constructor not viable: no known conversion from 'bool' to 'const X' for 1st argument}} 11 X(bool b) __attribute__((enable_if(b, "chosen when 'b' is true"))); // expected-note{{candidate disabled: chosen when 'b' is true}} 12 13 void f(int n) __attribute__((enable_if(n == 0, "chosen when 'n' is zero"))); 14 void f(int n) __attribute__((enable_if(n == 1, "chosen when 'n' is one"))); // expected-note{{member declaration nearly matches}} expected-note 2{{candidate disabled: chosen when 'n' is one}} 15 16 void g(int n) __attribute__((enable_if(n == 0, "chosen when 'n' is zero"))); // expected-note{{candidate disabled: chosen when 'n' is zero}} 17 18 void h(int n, int m = 0) __attribute__((enable_if(m == 0, "chosen when 'm' is zero"))); // expected-note{{candidate disabled: chosen when 'm' is zero}} 19 20 static void s(int n) __attribute__((enable_if(n == 0, "chosen when 'n' is zero"))); // expected-note2{{candidate disabled: chosen when 'n' is zero}} 21 22 void conflict(int n) __attribute__((enable_if(n+n == 10, "chosen when 'n' is five"))); // expected-note{{candidate function}} 23 void conflict(int n) __attribute__((enable_if(n*2 == 10, "chosen when 'n' is five"))); // expected-note{{candidate function}} 24 25 void hidden_by_argument_conversion(Incomplete n, int m = 0) __attribute__((enable_if(m == 10, "chosen when 'm' is ten"))); 26 Incomplete hidden_by_incomplete_return_value(int n = 0) __attribute__((enable_if(n == 10, "chosen when 'n' is ten"))); // expected-note{{'hidden_by_incomplete_return_value' declared here}} 27 28 operator long() __attribute__((enable_if(true, "chosen on your platform"))); 29 operator int() __attribute__((enable_if(false, "chosen on other platform"))); 30 31 operator fp() __attribute__((enable_if(false, "never enabled"))) { return surrogate; } // expected-note{{conversion candidate of type 'int (*)(int)'}} // FIXME: the message is not displayed 32 }; 33 34 void X::f(int n) __attribute__((enable_if(n == 0, "chosen when 'n' is zero"))) // expected-note{{member declaration nearly matches}} expected-note 2{{candidate disabled: chosen when 'n' is zero}} 35 { 36 } 37 38 void 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'}} 39 { 40 } 41 42 X x1(true); 43 X x2(false); // expected-error{{no matching constructor for initialization of 'X'}} 44 45 __attribute__((deprecated)) constexpr int old() { return 0; } // expected-note2{{'old' has been explicitly marked deprecated here}} 46 void deprec1(int i) __attribute__((enable_if(old() == 0, "chosen when old() is zero"))); // expected-warning{{'old' is deprecated}} 47 void deprec2(int i) __attribute__((enable_if(old() == 0, "chosen when old() is zero"))); // expected-warning{{'old' is deprecated}} 48 49 void overloaded(int); 50 void overloaded(long); 51 52 struct Int { 53 constexpr Int(int i) : i(i) { } 54 constexpr operator int() const { return i; } 55 int i; 56 }; 57 58 void default_argument(int n, int m = 0) __attribute__((enable_if(m == 0, "chosen when 'm' is zero"))); // expected-note{{candidate disabled: chosen when 'm' is zero}} 59 void default_argument_promotion(int n, int m = Int(0)) __attribute__((enable_if(m == 0, "chosen when 'm' is zero"))); // expected-note{{candidate disabled: chosen when 'm' is zero}} 60 61 struct Nothing { }; 62 template<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'}} 63 template<int N> void valuedep() __attribute__((enable_if(N == 1, ""))); 64 65 // FIXME: we skip potential constant expression evaluation on value dependent 66 // enable-if expressions 67 int not_constexpr(); 68 template<int N> void valuedep() __attribute__((enable_if(N == not_constexpr(), ""))); 69 70 template <typename T> void instantiationdep() __attribute__((enable_if(sizeof(sizeof(T)) != 0, ""))); 71 72 void test() { 73 X x; 74 x.f(0); 75 x.f(1); 76 x.f(2); // expected-error{{no matching member function for call to 'f'}} 77 x.f(3); // expected-error{{no matching member function for call to 'f'}} 78 79 x.g(0); 80 x.g(1); // expected-error{{no matching member function for call to 'g'}} 81 82 x.h(0); 83 x.h(1, 2); // expected-error{{no matching member function for call to 'h'}} 84 85 x.s(0); 86 x.s(1); // expected-error{{no matching member function for call to 's'}} 87 88 X::s(0); 89 X::s(1); // expected-error{{no matching member function for call to 's'}} 90 91 x.conflict(5); // expected-error{{call to member function 'conflict' is ambiguous}} 92 93 x.hidden_by_argument_conversion(10); // expected-error{{argument type 'Incomplete' is incomplete}} 94 x.hidden_by_incomplete_return_value(10); // expected-error{{calling 'hidden_by_incomplete_return_value' with incomplete return type 'Incomplete'}} 95 96 deprec2(0); 97 98 overloaded(x); 99 100 default_argument(0); 101 default_argument(1, 2); // expected-error{{no matching function for call to 'default_argument'}} 102 103 default_argument_promotion(0); 104 default_argument_promotion(1, 2); // expected-error{{no matching function for call to 'default_argument_promotion'}} 105 106 int i = x(1); // expected-error{{no matching function for call to object of type 'X'}} 107 108 Nothing n; 109 typedep(0); // expected-error{{no matching function for call to 'typedep'}} 110 typedep(1); 111 typedep(n); // expected-note{{in instantiation of function template specialization 'typedep<Nothing>' requested here}} 112 } 113 114 template <typename T> class C { 115 void f() __attribute__((enable_if(T::expr == 0, ""))) {} 116 void g() { f(); } 117 }; 118 119 int fn3(bool b) __attribute__((enable_if(b, ""))); // FIXME: This test should net 0 error messages. 120 template <class T> void test3() { 121 fn3(sizeof(T) == 1); // expected-error{{no matching function for call to 'fn3'}} expected-note@-2{{candidate disabled}} 122 } 123 124 template <typename T> 125 struct Y { 126 T h(int n, int m = 0) __attribute__((enable_if(m == 0, "chosen when 'm' is zero"))); // expected-note{{candidate disabled: chosen when 'm' is zero}} 127 }; 128 129 void test4() { 130 Y<int> y; 131 132 int t0 = y.h(0); 133 int t1 = y.h(1, 2); // expected-error{{no matching member function for call to 'h'}} 134 } 135 136 // FIXME: issue an error (without instantiation) because ::h(T()) is not 137 // convertible to bool, because return types aren't overloadable. 138 void h(int); 139 template <typename T> void outer() { 140 void local_function() __attribute__((enable_if(::h(T()), ""))); 141 local_function(); // expected-error{{no matching function for call to 'local_function'}} expected-note@-1{{candidate disabled}} 142 }; 143 144 namespace PR20988 { 145 struct Integer { 146 Integer(int); 147 }; 148 149 int fn1(const Integer &) __attribute__((enable_if(true, ""))); 150 template <class T> void test1() { 151 int &expr = T::expr(); 152 fn1(expr); 153 } 154 155 int fn2(const Integer &) __attribute__((enable_if(false, ""))); // expected-note{{candidate disabled}} 156 template <class T> void test2() { 157 int &expr = T::expr(); 158 fn2(expr); // expected-error{{no matching function for call to 'fn2'}} 159 } 160 161 int fn3(bool b) __attribute__((enable_if(b, ""))); // FIXME: This test should net 0 error messages. 162 template <class T> void test3() { 163 fn3(sizeof(T) == 1); // expected-error{{no matching function for call to 'fn3'}} expected-note@-2{{candidate disabled}} 164 } 165 } 166 167 namespace FnPtrs { 168 int ovlFoo(int m) __attribute__((enable_if(m > 0, ""))); 169 int ovlFoo(int m); 170 171 void test() { 172 // Assignment gives us a different code path than declarations, and `&foo` 173 // gives us a different code path than `foo` 174 int (*p)(int) = ovlFoo; 175 int (*p2)(int) = &ovlFoo; 176 int (*a)(int); 177 a = ovlFoo; 178 a = &ovlFoo; 179 } 180 181 int ovlBar(int) __attribute__((enable_if(true, ""))); 182 int ovlBar(int m) __attribute__((enable_if(false, ""))); 183 void test2() { 184 int (*p)(int) = ovlBar; 185 int (*p2)(int) = &ovlBar; 186 int (*a)(int); 187 a = ovlBar; 188 a = &ovlBar; 189 } 190 191 int ovlConflict(int m) __attribute__((enable_if(true, ""))); 192 int ovlConflict(int m) __attribute__((enable_if(1, ""))); 193 void test3() { 194 int (*p)(int) = ovlConflict; // expected-error{{address of overloaded function 'ovlConflict' is ambiguous}} expected-note@191{{candidate function}} expected-note@192{{candidate function}} 195 int (*p2)(int) = &ovlConflict; // expected-error{{address of overloaded function 'ovlConflict' is ambiguous}} expected-note@191{{candidate function}} expected-note@192{{candidate function}} 196 int (*a)(int); 197 a = ovlConflict; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@191{{candidate function}} expected-note@192{{candidate function}} 198 a = &ovlConflict; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@191{{candidate function}} expected-note@192{{candidate function}} 199 } 200 201 template <typename T> 202 T templated(T m) __attribute__((enable_if(true, ""))) { return T(); } 203 template <typename T> 204 T templated(T m) __attribute__((enable_if(false, ""))) { return T(); } 205 void test4() { 206 int (*p)(int) = templated<int>; 207 int (*p2)(int) = &templated<int>; 208 int (*a)(int); 209 a = templated<int>; 210 a = &templated<int>; 211 } 212 213 template <typename T> 214 T templatedBar(T m) __attribute__((enable_if(m > 0, ""))) { return T(); } 215 void test5() { 216 int (*p)(int) = templatedBar<int>; // expected-error{{address of overloaded function 'templatedBar' does not match required type 'int (int)'}} expected-note@214{{candidate function made ineligible by enable_if}} 217 int (*p2)(int) = &templatedBar<int>; // expected-error{{address of overloaded function 'templatedBar' does not match required type 'int (int)'}} expected-note@214{{candidate function made ineligible by enable_if}} 218 int (*a)(int); 219 a = templatedBar<int>; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@214{{candidate function made ineligible by enable_if}} 220 a = &templatedBar<int>; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@214{{candidate function made ineligible by enable_if}} 221 } 222 223 template <typename T> 224 T templatedConflict(T m) __attribute__((enable_if(false, ""))) { return T(); } 225 template <typename T> 226 T templatedConflict(T m) __attribute__((enable_if(true, ""))) { return T(); } 227 template <typename T> 228 T templatedConflict(T m) __attribute__((enable_if(1, ""))) { return T(); } 229 void test6() { 230 int (*p)(int) = templatedConflict<int>; // expected-error{{address of overloaded function 'templatedConflict' is ambiguous}} expected-note@224{{candidate function made ineligible by enable_if}} expected-note@226{{candidate function}} expected-note@228{{candidate function}} 231 int (*p0)(int) = &templatedConflict<int>; // expected-error{{address of overloaded function 'templatedConflict' is ambiguous}} expected-note@224{{candidate function made ineligible by enable_if}} expected-note@226{{candidate function}} expected-note@228{{candidate function}} 232 int (*a)(int); 233 a = templatedConflict<int>; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@226{{candidate function}} expected-note@228{{candidate function}} 234 a = &templatedConflict<int>; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@226{{candidate function}} expected-note@228{{candidate function}} 235 } 236 237 int ovlNoCandidate(int m) __attribute__((enable_if(false, ""))); 238 int ovlNoCandidate(int m) __attribute__((enable_if(0, ""))); 239 void test7() { 240 int (*p)(int) = ovlNoCandidate; // expected-error{{address of overloaded function 'ovlNoCandidate' does not match required type}} expected-note@237{{made ineligible by enable_if}} expected-note@238{{made ineligible by enable_if}} 241 int (*p2)(int) = &ovlNoCandidate; // expected-error{{address of overloaded function 'ovlNoCandidate' does not match required type}} expected-note@237{{made ineligible by enable_if}} expected-note@238{{made ineligible by enable_if}} 242 int (*a)(int); 243 a = ovlNoCandidate; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@237{{made ineligible by enable_if}} expected-note@238{{made ineligible by enable_if}} 244 a = &ovlNoCandidate; // expected-error{{assigning to 'int (*)(int)' from incompatible type '<overloaded function type>'}} expected-note@237{{made ineligible by enable_if}} expected-note@238{{made ineligible by enable_if}} 245 } 246 247 int noOvlNoCandidate(int m) __attribute__((enable_if(false, ""))); 248 void test8() { 249 int (*p)(int) = noOvlNoCandidate; // expected-error{{cannot take address of function 'noOvlNoCandidate' becuase it has one or more non-tautological enable_if conditions}} 250 int (*p2)(int) = &noOvlNoCandidate; // expected-error{{cannot take address of function 'noOvlNoCandidate' becuase it has one or more non-tautological enable_if conditions}} 251 int (*a)(int); 252 a = noOvlNoCandidate; // expected-error{{cannot take address of function 'noOvlNoCandidate' becuase it has one or more non-tautological enable_if conditions}} 253 a = &noOvlNoCandidate; // expected-error{{cannot take address of function 'noOvlNoCandidate' becuase it has one or more non-tautological enable_if conditions}} 254 } 255 } 256 257 namespace casting { 258 using VoidFnTy = void (*)(); 259 260 void foo(void *c) __attribute__((enable_if(0, ""))); 261 void foo(int *c) __attribute__((enable_if(c, ""))); 262 void foo(char *c) __attribute__((enable_if(1, ""))); 263 264 void testIt() { 265 auto A = reinterpret_cast<VoidFnTy>(foo); 266 auto AAmp = reinterpret_cast<VoidFnTy>(&foo); 267 268 using VoidFooTy = void (*)(void *); 269 auto B = reinterpret_cast<VoidFooTy>(foo); 270 auto BAmp = reinterpret_cast<VoidFooTy>(&foo); 271 272 using IntFooTy = void (*)(int *); 273 auto C = reinterpret_cast<IntFooTy>(foo); 274 auto CAmp = reinterpret_cast<IntFooTy>(&foo); 275 276 using CharFooTy = void (*)(void *); 277 auto D = reinterpret_cast<CharFooTy>(foo); 278 auto DAmp = reinterpret_cast<CharFooTy>(&foo); 279 } 280 281 void testItCStyle() { 282 auto A = (VoidFnTy)foo; 283 auto AAmp = (VoidFnTy)&foo; 284 285 using VoidFooTy = void (*)(void *); 286 auto B = (VoidFooTy)foo; 287 auto BAmp = (VoidFooTy)&foo; 288 289 using IntFooTy = void (*)(int *); 290 auto C = (IntFooTy)foo; 291 auto CAmp = (IntFooTy)&foo; 292 293 using CharFooTy = void (*)(void *); 294 auto D = (CharFooTy)foo; 295 auto DAmp = (CharFooTy)&foo; 296 } 297 } 298 299 namespace casting_templates { 300 template <typename T> void foo(T) {} // expected-note 4 {{candidate function}} 301 302 void foo(int *c) __attribute__((enable_if(c, ""))); //expected-note 4 {{candidate function}} 303 void foo(char *c) __attribute__((enable_if(c, ""))); //expected-note 4 {{candidate function}} 304 305 void testIt() { 306 using IntFooTy = void (*)(int *); 307 auto A = reinterpret_cast<IntFooTy>(foo); // expected-error{{reinterpret_cast cannot resolve overloaded function 'foo' to type}} 308 auto ARef = reinterpret_cast<IntFooTy>(&foo); // expected-error{{reinterpret_cast cannot resolve overloaded function 'foo' to type}} 309 auto AExplicit = reinterpret_cast<IntFooTy>(foo<int*>); 310 311 using CharFooTy = void (*)(char *); 312 auto B = reinterpret_cast<CharFooTy>(foo); // expected-error{{reinterpret_cast cannot resolve overloaded function 'foo' to type}} 313 auto BRef = reinterpret_cast<CharFooTy>(&foo); // expected-error{{reinterpret_cast cannot resolve overloaded function 'foo' to type}} 314 auto BExplicit = reinterpret_cast<CharFooTy>(foo<char*>); 315 } 316 317 void testItCStyle() { 318 // constexpr is usable here because all of these should become static_casts. 319 using IntFooTy = void (*)(int *); 320 constexpr auto A = (IntFooTy)foo; 321 constexpr auto ARef = (IntFooTy)&foo; 322 constexpr auto AExplicit = (IntFooTy)foo<int*>; 323 324 using CharFooTy = void (*)(char *); 325 constexpr auto B = (CharFooTy)foo; 326 constexpr auto BRef = (CharFooTy)&foo; 327 constexpr auto BExplicit = (CharFooTy)foo<char*>; 328 329 static_assert(A == ARef && ARef == AExplicit, ""); 330 static_assert(B == BRef && BRef == BExplicit, ""); 331 } 332 } 333 334 namespace multiple_matches { 335 using NoMatchTy = void (*)(); 336 337 void foo(float *c); //expected-note 4 {{candidate function}} 338 void foo(int *c) __attribute__((enable_if(1, ""))); //expected-note 4 {{candidate function}} 339 void foo(char *c) __attribute__((enable_if(1, ""))); //expected-note 4 {{candidate function}} 340 341 void testIt() { 342 auto A = reinterpret_cast<NoMatchTy>(foo); // expected-error{{reinterpret_cast cannot resolve overloaded function 'foo' to type}} 343 auto ARef = reinterpret_cast<NoMatchTy>(&foo); // expected-error{{reinterpret_cast cannot resolve overloaded function 'foo' to type}} 344 345 auto C = (NoMatchTy)foo; // expected-error{{address of overloaded function 'foo' does not match required type 'void ()'}} 346 auto CRef = (NoMatchTy)&foo; // expected-error{{address of overloaded function 'foo' does not match required type 'void ()'}} 347 } 348 } 349 350 namespace PR27122 { 351 // (slightly reduced) code that motivated the bug... 352 namespace ns { 353 void Function(int num) 354 __attribute__((enable_if(num != 0, ""))); 355 void Function(int num, int a0) 356 __attribute__((enable_if(num != 1, ""))); 357 } // namespace ns 358 359 using ns::Function; // expected-note 3{{declared here}} 360 void Run() { 361 Functioon(0); // expected-error{{use of undeclared identifier}} expected-error{{too few arguments}} 362 Functioon(0, 1); // expected-error{{use of undeclared identifier}} 363 Functioon(0, 1, 2); // expected-error{{use of undeclared identifier}} 364 } 365 366 // Extra tests 367 void regularEnableIf(int a) __attribute__((enable_if(a, ""))); // expected-note 3{{declared here}} expected-note 3{{candidate function not viable}} 368 void runRegularEnableIf() { 369 regularEnableIf(0, 2); // expected-error{{no matching function}} 370 regularEnableIf(1, 2); // expected-error{{no matching function}} 371 regularEnableIf(); // expected-error{{no matching function}} 372 373 // Test without getting overload resolution involved 374 ::PR27122::regularEnableIf(0, 2); // expected-error{{too many arguments}} 375 ::PR27122::regularEnableIf(1, 2); // expected-error{{too many arguments}} 376 ::PR27122::regularEnableIf(); // expected-error{{too few arguments}} 377 } 378 379 struct Foo { 380 void bar(int i) __attribute__((enable_if(i, ""))); // expected-note 2{{declared here}} 381 }; 382 383 void runFoo() { 384 Foo f; 385 f.bar(); // expected-error{{too few arguments}} 386 f.bar(1, 2); // expected-error{{too many arguments}} 387 } 388 } 389 390 // Ideally, we should be able to handle value-dependent expressions sanely. 391 // Sadly, that isn't the case at the moment. 392 namespace dependent { 393 int error(int N) __attribute__((enable_if(N, ""))); // expected-note{{candidate disabled}} 394 int error(int N) __attribute__((enable_if(!N, ""))); // expected-note{{candidate disabled}} 395 template <int N> int callUnavailable() { 396 return error(N); // expected-error{{no matching function for call to 'error'}} 397 } 398 399 constexpr int noError(int N) __attribute__((enable_if(N, ""))) { return -1; } 400 constexpr int noError(int N) __attribute__((enable_if(!N, ""))) { return -1; } 401 constexpr int noError(int N) { return 0; } 402 403 template <int N> 404 constexpr int callNoError() { return noError(N); } 405 static_assert(callNoError<0>() == 0, ""); 406 static_assert(callNoError<1>() == 0, ""); 407 408 template <int N> constexpr int templated() __attribute__((enable_if(N, ""))) { 409 return 1; 410 } 411 412 constexpr int A = templated<0>(); // expected-error{{no matching function for call to 'templated'}} expected-note@-4{{candidate disabled}} 413 static_assert(templated<1>() == 1, ""); 414 415 template <int N> constexpr int callTemplated() { return templated<N>(); } 416 417 constexpr int B = callTemplated<0>(); // expected-error{{initialized by a constant expression}} expected-error@-2{{no matching function for call to 'templated'}} expected-note{{in instantiation of function template}} expected-note@-9{{candidate disabled}} 418 static_assert(callTemplated<1>() == 1, ""); 419 } 420