clang/test/SemaObjC/method-sentinel-attr.m

   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 - (id) foo13 : (id)firstObj, ... __attribute__((sentinel(0,1)));
  20 - (id) foo14 : (id)firstObj :  (Class)secondObj, ... __attribute__((sentinel(0,1)));
  21 - (id) foo15 : (id*)firstObj, ... __attribute__((sentinel(0,1)));
  22 - (id) foo16 : (id**)firstObj, ... __attribute__((sentinel(0,1)));
  23 @end
  24
  25 int main (void)
  26 {
  27   INTF *p;
  28
  29   [p foo1:1, NULL]; // OK
  30   [p foo1:1, 0];  // expected-warning {{missing sentinel in method dispatch}}
  31   [p foo5:1, NULL, 2]; // OK
  32   [p foo5:1, 2, NULL, 1]; // OK
  33   [p foo5:1, NULL, 2, 1];  // expected-warning {{missing sentinel in method dispatch}}
  34
  35   [p foo6:1,2,3,4,5,6,7];  // expected-warning {{missing sentinel in method dispatch}}
  36   [p foo6:1,NULL,3,4,5,6,7]; // OK
  37   [p foo7:1];    // expected-warning {{not enough variable arguments in 'foo7:' declaration to fit a sentinel}}
  38   [p foo7:1, NULL]; // ok
  39
  40   [p foo12:1]; // expected-warning {{not enough variable arguments in 'foo12:' declaration to fit a sentinel}}
  41
  42   [ p foo13 : NULL];
  43   [ p foo14 : 0 : NULL];
  44   [ p foo16 : NULL];
  45   [ p foo15 : NULL];
  46 }
  47