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