Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Fariborz Jahanian | 88f1ba0 | 2009-05-13 23:20:50 +0000 | [diff] [blame] | 2 | |
| 3 | #define NULL (void*)0 |
| 4 | |
| 5 | #define ATTR __attribute__ ((__sentinel__)) |
| 6 | |
| 7 | @interface INTF |
| 8 | - (void) foo1 : (int)x, ... ATTR; // expected-note {{method has been explicitly marked sentinel here}} |
| 9 | - (void) foo3 : (int)x __attribute__ ((__sentinel__)) ; // expected-warning {{'sentinel' attribute only supported for variadic functions}} |
| 10 | - (void) foo5 : (int)x, ... __attribute__ ((__sentinel__(1))); // expected-note {{method has been explicitly marked sentinel here}} |
| 11 | - (void) foo6 : (int)x, ... __attribute__ ((__sentinel__(5))); // expected-note {{method has been explicitly marked sentinel here}} |
| 12 | - (void) foo7 : (int)x, ... __attribute__ ((__sentinel__(0))); // expected-note {{method has been explicitly marked sentinel here}} |
Aaron Ballman | d732928 | 2013-07-23 17:35:26 +0000 | [diff] [blame^] | 13 | - (void) foo8 : (int)x, ... __attribute__ ((__sentinel__("a"))); // expected-error {{'__sentinel__' attribute requires parameter 1 to be an integer constant}} |
Fariborz Jahanian | 88f1ba0 | 2009-05-13 23:20:50 +0000 | [diff] [blame] | 14 | - (void) foo9 : (int)x, ... __attribute__ ((__sentinel__(-1))); // expected-error {{'sentinel' parameter 1 less than zero}} |
| 15 | - (void) foo10 : (int)x, ... __attribute__ ((__sentinel__(1,1))); |
John McCall | bdc49d3 | 2011-03-02 12:15:05 +0000 | [diff] [blame] | 16 | - (void) foo11 : (int)x, ... __attribute__ ((__sentinel__(1,1,3))); // expected-error {{attribute takes no more than 2 arguments}} |
Fariborz Jahanian | 88f1ba0 | 2009-05-13 23:20:50 +0000 | [diff] [blame] | 17 | - (void) foo12 : (int)x, ... ATTR; // expected-note {{method has been explicitly marked sentinel here}} |
Fariborz Jahanian | 9ccd725 | 2010-07-14 16:37:51 +0000 | [diff] [blame] | 18 | |
Fariborz Jahanian | 24fce28 | 2010-11-09 02:16:57 +0000 | [diff] [blame] | 19 | // rdar://7975788 |
Fariborz Jahanian | 9ccd725 | 2010-07-14 16:37:51 +0000 | [diff] [blame] | 20 | - (id) foo13 : (id)firstObj, ... __attribute__((sentinel(0,1))); |
| 21 | - (id) foo14 : (id)firstObj : (Class)secondObj, ... __attribute__((sentinel(0,1))); |
| 22 | - (id) foo15 : (id*)firstObj, ... __attribute__((sentinel(0,1))); |
| 23 | - (id) foo16 : (id**)firstObj, ... __attribute__((sentinel(0,1))); |
Fariborz Jahanian | 88f1ba0 | 2009-05-13 23:20:50 +0000 | [diff] [blame] | 24 | @end |
| 25 | |
| 26 | int main () |
| 27 | { |
| 28 | INTF *p; |
| 29 | |
| 30 | [p foo1:1, NULL]; // OK |
| 31 | [p foo1:1, 0]; // expected-warning {{missing sentinel in method dispatch}} |
| 32 | [p foo5:1, NULL, 2]; // OK |
| 33 | [p foo5:1, 2, NULL, 1]; // OK |
| 34 | [p foo5:1, NULL, 2, 1]; // expected-warning {{missing sentinel in method dispatch}} |
| 35 | |
| 36 | [p foo6:1,2,3,4,5,6,7]; // expected-warning {{missing sentinel in method dispatch}} |
| 37 | [p foo6:1,NULL,3,4,5,6,7]; // OK |
| 38 | [p foo7:1]; // expected-warning {{not enough variable arguments in 'foo7:' declaration to fit a sentinel}} |
| 39 | [p foo7:1, NULL]; // ok |
| 40 | |
| 41 | [p foo12:1]; // expected-warning {{not enough variable arguments in 'foo12:' declaration to fit a sentinel}} |
Fariborz Jahanian | 9ccd725 | 2010-07-14 16:37:51 +0000 | [diff] [blame] | 42 | |
Fariborz Jahanian | 24fce28 | 2010-11-09 02:16:57 +0000 | [diff] [blame] | 43 | // rdar://7975788 |
Fariborz Jahanian | 9ccd725 | 2010-07-14 16:37:51 +0000 | [diff] [blame] | 44 | [ p foo13 : NULL]; |
| 45 | [ p foo14 : 0 : NULL]; |
| 46 | [ p foo16 : NULL]; |
| 47 | [ p foo15 : NULL]; |
Fariborz Jahanian | 88f1ba0 | 2009-05-13 23:20:50 +0000 | [diff] [blame] | 48 | } |
| 49 | |