1// RUN: %clang_cc1 %s -verify 2// RUN: %clang_cc1 %s -DCODEGEN -emit-llvm -o - | FileCheck %s 3 4#define O_CREAT 0x100 5typedef int mode_t; 6typedef unsigned long size_t; 7 8int open(const char *pathname, int flags) __attribute__((enable_if(!(flags & O_CREAT), "must specify mode when using O_CREAT"))) __attribute__((overloadable)); // expected-note{{candidate disabled: must specify mode when using O_CREAT}} 9int open(const char *pathname, int flags, mode_t mode) __attribute__((overloadable)); // expected-note{{candidate function not viable: requires 3 arguments, but 2 were provided}} 10 11void test1() { 12#ifndef CODEGEN 13 open("path", O_CREAT); // expected-error{{no matching function for call to 'open'}} 14#endif 15 open("path", O_CREAT, 0660); 16 open("path", 0); 17 open("path", 0, 0); 18} 19 20size_t __strnlen_chk(const char *s, size_t requested_amount, size_t s_len); 21 22size_t strnlen(const char *s, size_t maxlen) // expected-note{{candidate function}} 23 __attribute__((overloadable)) 24 __asm__("strnlen_real1"); 25 26__attribute__((always_inline)) 27inline size_t strnlen(const char *s, size_t maxlen) // expected-note{{candidate function}} 28 __attribute__((overloadable)) 29 __attribute__((enable_if(__builtin_object_size(s, 0) != -1, 30 "chosen when target buffer size is known"))) 31{ 32 return __strnlen_chk(s, maxlen, __builtin_object_size(s, 0)); 33} 34 35size_t strnlen(const char *s, size_t maxlen) // expected-note{{candidate disabled: chosen when 'maxlen' is known to be less than or equal to the buffer size}} 36 __attribute__((overloadable)) 37 __attribute__((enable_if(__builtin_object_size(s, 0) != -1, 38 "chosen when target buffer size is known"))) 39 __attribute__((enable_if(maxlen <= __builtin_object_size(s, 0), 40 "chosen when 'maxlen' is known to be less than or equal to the buffer size"))) 41 __asm__("strnlen_real2"); 42 43size_t strnlen(const char *s, size_t maxlen) // expected-note{{candidate function has been explicitly made unavailable}} 44 __attribute__((overloadable)) 45 __attribute__((enable_if(__builtin_object_size(s, 0) != -1, 46 "chosen when target buffer size is known"))) 47 __attribute__((enable_if(maxlen > __builtin_object_size(s, 0), 48 "chosen when 'maxlen' is larger than the buffer size"))) 49 __attribute__((unavailable("'maxlen' is larger than the buffer size"))); 50 51void test2(const char *s, int i) { 52// CHECK: define void @test2 53 const char c[123]; 54 strnlen(s, i); 55// CHECK: call {{.*}}strnlen_real1 56 strnlen(s, 999); 57// CHECK: call {{.*}}strnlen_real1 58 strnlen(c, 1); 59// CHECK: call {{.*}}strnlen_real2 60 strnlen(c, i); 61// CHECK: call {{.*}}strnlen_chk 62#ifndef CODEGEN 63 strnlen(c, 999); // expected-error{{call to unavailable function 'strnlen': 'maxlen' is larger than the buffer size}} 64#endif 65} 66 67int isdigit(int c) __attribute__((overloadable)); // expected-note{{candidate function}} 68int isdigit(int c) __attribute__((overloadable)) // expected-note{{candidate function has been explicitly made unavailable}} 69 __attribute__((enable_if(c <= -1 || c > 255, "'c' must have the value of an unsigned char or EOF"))) 70 __attribute__((unavailable("'c' must have the value of an unsigned char or EOF"))); 71 72void test3(int c) { 73 isdigit(c); 74 isdigit(10); 75#ifndef CODEGEN 76 isdigit(-10); // expected-error{{call to unavailable function 'isdigit': 'c' must have the value of an unsigned char or EOF}} 77#endif 78} 79 80#ifndef CODEGEN 81__attribute__((enable_if(n == 0, "chosen when 'n' is zero"))) void f1(int n); // expected-error{{use of undeclared identifier 'n'}} 82 83int n __attribute__((enable_if(1, "always chosen"))); // expected-warning{{'enable_if' attribute only applies to functions}} 84 85void f(int n) __attribute__((enable_if("chosen when 'n' is zero", n == 0))); // expected-error{{'enable_if' attribute requires a string}} 86 87void f(int n) __attribute__((enable_if())); // expected-error{{'enable_if' attribute requires exactly 2 arguments}} 88 89void f(int n) __attribute__((enable_if(unresolvedid, "chosen when 'unresolvedid' is non-zero"))); // expected-error{{use of undeclared identifier 'unresolvedid'}} 90 91int global; 92void f(int n) __attribute__((enable_if(global == 0, "chosen when 'global' is zero"))); // expected-error{{'enable_if' attribute expression never produces a constant expression}} // expected-note{{subexpression not valid in a constant expression}} 93 94const int cst = 7; 95void return_cst(void) __attribute__((overloadable)) __attribute__((enable_if(cst == 7, "chosen when 'cst' is 7"))); 96void test_return_cst() { return_cst(); } 97#endif 98