1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 #define NULL (void*)0 4 5 #define ATTR __attribute__ ((__sentinel__)) 6 7 void foo1 (int x, ...) ATTR; // expected-note 3 {{function has been explicitly marked sentinel here}} 8 void foo5 (int x, ...) __attribute__ ((__sentinel__(1))); // expected-note {{function has been explicitly marked sentinel here}} 9 void foo6 (int x, ...) __attribute__ ((__sentinel__(5))); // expected-note {{function has been explicitly marked sentinel here}} 10 void foo7 (int x, ...) __attribute__ ((__sentinel__(0))); // expected-note {{function has been explicitly marked sentinel here}} 11 void foo10 (int x, ...) __attribute__ ((__sentinel__(1,1))); 12 void foo12 (int x, ... ) ATTR; // expected-note {{function has been explicitly marked sentinel here}} 13 14 #define FOOMACRO(...) foo1(__VA_ARGS__) 15 16 void test1() { 17 foo1(1, NULL); // OK 18 foo1(1, 0) ; // expected-warning {{missing sentinel in function call}} 19 foo5(1, NULL, 2); // OK 20 foo5(1,2,NULL, 1); // OK 21 foo5(1, NULL, 2, 1); // expected-warning {{missing sentinel in function call}} 22 23 foo6(1,2,3,4,5,6,7); // expected-warning {{missing sentinel in function call}} 24 foo6(1,NULL,3,4,5,6,7); // OK 25 foo7(1); // expected-warning {{not enough variable arguments in 'foo7' declaration to fit a sentinel}} 26 foo7(1, NULL); // OK 27 28 foo12(1); // expected-warning {{not enough variable arguments in 'foo12' declaration to fit a sentinel}} 29 30 // PR 5685 31 struct A {}; 32 struct A a, b, c; 33 foo1(3, &a, &b, &c); // expected-warning {{missing sentinel in function call}} 34 foo1(3, &a, &b, &c, (struct A*) 0); 35 36 // PR11002 37 FOOMACRO(1, 2); // expected-warning {{missing sentinel in function call}} 38 } 39 40 41 42 void (*e) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (1,1))); 43 44 void test2() { 45 void (*b) (int arg, const char * format, ...) __attribute__ ((__sentinel__)); // expected-note {{function has been explicitly marked sentinel here}} 46 void (*z) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (2))); // expected-note {{function has been explicitly marked sentinel here}} 47 48 49 void (*y) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (5))); // expected-note {{function has been explicitly marked sentinel here}} 50 51 b(1, "%s", (void*)0); // OK 52 b(1, "%s", 0); // expected-warning {{missing sentinel in function call}} 53 z(1, "%s",4 ,1,0); // expected-warning {{missing sentinel in function call}} 54 z(1, "%s", (void*)0, 1, 0); // OK 55 56 y(1, "%s", 1,2,3,4,5,6,7); // expected-warning {{missing sentinel in function call}} 57 58 y(1, "%s", (void*)0,3,4,5,6,7); // OK 59 } 60
