blob: 8ea77ece12d8913102a43d6f03857044af1032e5 [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 %s -fsyntax-only -verify -fblocks
Fariborz Jahaniand66f22d2009-05-19 17:08:59 +00002
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}