block-printf-attribute-1.c revision d66f22d9f8423579322a6dd16587ed52b0a58834
1d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian// RUN: clang-cc %s -fsyntax-only -verify -fblocks
2d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian
3d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanianint main()
4d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian{
5d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian        void (^b) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 1, 3))) =   // expected-error {{format argument not a string type}}
6d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian						^ __attribute__ ((__format__ (__printf__, 1, 3))) (int arg, const char * format, ...) {}; // expected-error {{format argument not a string type}}
7d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian
8d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian        void (^z) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 2, 3))) = ^ __attribute__ ((__format__ (__printf__, 2, 3))) (int arg, const char * format, ...) {};
9d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian
10d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian        // FIXME: argument type poking not yet supportted.
11d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian	z(1, "%s", 1); /* { dg-warning "format \\'\%s\\' expects type \\'char \\*\\'\, but argument 3 has type \\'int\\'" } */
12d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian	z(1, "%s", "HELLO"); // OK
13d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian
14d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian}
15d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian
16