| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 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}} |
|---|
| 13 | - (void) foo8 : (int)x, ... __attribute__ ((__sentinel__("a"))); // expected-error {{'__sentinel__' attribute requires parameter 1 to be an integer constant}} |
|---|
| 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))); |
|---|
| 16 | - (void) foo11 : (int)x, ... __attribute__ ((__sentinel__(1,1,3))); // expected-error {{'__sentinel__' attribute takes no more than 2 arguments}} |
|---|
| 17 | - (void) foo12 : (int)x, ... ATTR; // expected-note {{method has been explicitly marked sentinel here}} |
|---|
| 18 | |
|---|
| 19 | // rdar://7975788 |
|---|
| 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))); |
|---|
| 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}} |
|---|
| 42 | |
|---|
| 43 | // rdar://7975788 |
|---|
| 44 | [ p foo13 : NULL]; |
|---|
| 45 | [ p foo14 : 0 : NULL]; |
|---|
| 46 | [ p foo16 : NULL]; |
|---|
| 47 | [ p foo15 : NULL]; |
|---|
| 48 | } |
|---|
| 49 | |
|---|
| 50 | |
|---|