Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Fariborz Jahanian | 236673e | 2009-05-14 18:00:00 +0000 | [diff] [blame] | 2 | |
| 3 | #define NULL (void*)0 |
| 4 | |
| 5 | #define ATTR __attribute__ ((__sentinel__)) |
| 6 | |
Eli Friedman | 39834ba | 2011-09-27 23:46:37 +0000 | [diff] [blame] | 7 | void foo1 (int x, ...) ATTR; // expected-note 3 {{function has been explicitly marked sentinel here}} |
Fariborz Jahanian | 236673e | 2009-05-14 18:00:00 +0000 | [diff] [blame] | 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 | |
Eli Friedman | 39834ba | 2011-09-27 23:46:37 +0000 | [diff] [blame] | 14 | #define FOOMACRO(...) foo1(__VA_ARGS__) |
| 15 | |
Chris Lattner | b1332d7 | 2010-03-22 21:02:14 +0000 | [diff] [blame] | 16 | void test1() { |
Fariborz Jahanian | 236673e | 2009-05-14 18:00:00 +0000 | [diff] [blame] | 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 |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 21 | foo5(1, NULL, 2, 1); // expected-warning {{missing sentinel in function call}} |
Fariborz Jahanian | 236673e | 2009-05-14 18:00:00 +0000 | [diff] [blame] | 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}} |
John McCall | 8eb662e | 2010-05-06 23:53:00 +0000 | [diff] [blame] | 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); |
Eli Friedman | 39834ba | 2011-09-27 23:46:37 +0000 | [diff] [blame] | 35 | |
| 36 | // PR11002 |
| 37 | FOOMACRO(1, 2); // expected-warning {{missing sentinel in function call}} |
Fariborz Jahanian | 236673e | 2009-05-14 18:00:00 +0000 | [diff] [blame] | 38 | } |
| 39 | |
Chris Lattner | b1332d7 | 2010-03-22 21:02:14 +0000 | [diff] [blame] | 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 | } |