blob: 4941ae7bc67940ad1e6d9c93b20b5673ca691c63 [file] [log] [blame]
Fariborz Jahaniand66f22d2009-05-19 17:08:59 +00001// RUN: clang-cc %s -fsyntax-only -verify -fblocks
2
Mike Stump1eb44332009-09-09 15:08:12 +00003int main() {
4 void (^b) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 1, 3))) = // expected-error {{format argument not a string type}}
5 ^ __attribute__ ((__format__ (__printf__, 1, 3))) (int arg, const char * format, ...) {}; // expected-error {{format argument not a string type}}
Fariborz Jahaniand66f22d2009-05-19 17:08:59 +00006
Mike Stump1eb44332009-09-09 15:08:12 +00007 void (^z) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 2, 3))) = ^ __attribute__ ((__format__ (__printf__, 2, 3))) (int arg, const char * format, ...) {};
Fariborz Jahaniand66f22d2009-05-19 17:08:59 +00008
Mike Stump1eb44332009-09-09 15:08:12 +00009 // FIXME: argument type poking not yet supportted.
10 z(1, "%s", 1); /* { dg-warning "format \\'\%s\\' expects type \\'char \\*\\'\, but argument 3 has type \\'int\\'" } */
11 z(1, "%s", "HELLO"); // OK
Fariborz Jahaniand66f22d2009-05-19 17:08:59 +000012}