clang/test/Sema/block-sentinel-attribute.c

   1 // RUN: %clang_cc1 -fblocks -fsyntax-only -verify %s
   2
   3 void (^e) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (1,1)));
   4
   5 int main(void) {
   6   void (^bbad) (int arg, const char * format) __attribute__ ((__sentinel__)) ; // expected-warning {{'sentinel' attribute only supported for variadic blocks}}
   7   bbad = ^void (int arg, const char * format) __attribute__ ((__sentinel__)) {} ; // expected-warning {{'sentinel' attribute only supported for variadic blocks}}
   8   void (^b) (int arg, const char * format, ...) __attribute__ ((__sentinel__)) =  // expected-note {{block has been explicitly marked sentinel here}}
   9     ^ __attribute__ ((__sentinel__)) (int arg, const char * format, ...) {};
  10   void (^z) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (2))) = ^ __attribute__ ((__sentinel__ (2))) (int arg, const char * format, ...) {}; // expected-note {{block has been explicitly marked sentinel here}}
  11
  12
  13   void (^y) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (5))) = ^ __attribute__ ((__sentinel__ (5))) (int arg, const char * format, ...) {}; // expected-note {{block has been explicitly marked sentinel here}}
  14
  15   b(1, "%s", (void*)0); // OK
  16   b(1, "%s", 0);  // expected-warning {{missing sentinel in block call}}
  17   z(1, "%s",4 ,1,0);  // expected-warning {{missing sentinel in block call}}
  18   z(1, "%s", (void*)0, 1, 0); // OK
  19
  20   y(1, "%s", 1,2,3,4,5,6,7);  // expected-warning {{missing sentinel in block call}}
  21
  22   y(1, "%s", (void*)0,3,4,5,6,7); // OK
  23
  24 }
  25