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