block-sentinel-attribute.c revision 3bba33d6f58844d4924ab1e221dc2ff44c521624
1ddb351dbec246cf1fab5ec20d2d5520909041de1Kristian Monsen// RUN: clang-cc -fblocks -fsyntax-only -verify %s 23345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 33345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrickvoid (^e) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (1,1))); 43345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 5ddb351dbec246cf1fab5ec20d2d5520909041de1Kristian Monsenint main() 63345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick{ 73345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick void (^bbad) (int arg, const char * format) __attribute__ ((__sentinel__)) ; // expected-warning {{sentinel' attribute only supported for variadic blocks}} 83345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick void (^b) (int arg, const char * format, ...) __attribute__ ((__sentinel__)) = // expected-note {{block has been explicitly marked sentinel here}} 93345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick ^ __attribute__ ((__sentinel__)) (int arg, const char * format, ...) {}; 103345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 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}} 113345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 123345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 133345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 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}} 143345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 153345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick b(1, "%s", (void*)0); // OK 163345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick b(1, "%s", 0); // expected-warning {{missing sentinel in block call}} 173345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick z(1, "%s",4 ,1,0); // expected-warning {{missing sentinel in block call}} 183345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick z(1, "%s", (void*)0, 1, 0); // OK 193345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 203345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick y(1, "%s", 1,2,3,4,5,6,7); // expected-warning {{missing sentinel in block call}} 213345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick 223345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick y(1, "%s", (void*)0,3,4,5,6,7); // OK 2321d179b334e59e9a3bfcaed4c4430bef1bc5759dKristian Monsen 243345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick} 25ddb351dbec246cf1fab5ec20d2d5520909041de1Kristian Monsen 263345a6884c488ff3a535c2c9acdd33d74b37e311Iain Merrick