| 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 | |
|---|