block-printf-attribute-1.c revision 43d1251a471d19ce83aa8ce91c0104addada5add
1a5728872c7702ddd09537c95bc3cbd20e1f2fb09Daniel Dunbar// RUN: %clang_cc1 %s -fsyntax-only -verify -fblocks 2d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian 343d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas#include <stdarg.h> 443d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas 51eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpint main() { 61eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump void (^b) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 1, 3))) = // expected-error {{format argument not a string type}} 71eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ^ __attribute__ ((__format__ (__printf__, 1, 3))) (int arg, const char * format, ...) {}; // expected-error {{format argument not a string type}} 8d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian 91eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump void (^z) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 2, 3))) = ^ __attribute__ ((__format__ (__printf__, 2, 3))) (int arg, const char * format, ...) {}; 10d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian 11ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek z(1, "%s", 1); // expected-warning{{format specifies type 'char *' but the argument has type 'int'}} 124e4b30ec62d78b24e6556fea2624855c193d0e3eTed Kremenek z(1, "%s", "HELLO"); // no-warning 13d66f22d9f8423579322a6dd16587ed52b0a58834Fariborz Jahanian} 1443d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas 1543d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupasvoid multi_attr(va_list ap, int *x, long *y) { 1643d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas // Handle block with multiple format attributes. 1743d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas void (^vprintf_scanf) (const char *, va_list, const char *, ...) __attribute__((__format__(__printf__, 1, 0))) __attribute__((__format__(__scanf__, 3, 4))) = 1843d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas ^ __attribute__((__format__(__printf__, 1, 0))) __attribute__((__format__(__scanf__, 3, 4))) (const char *str, va_list args, const char *fmt, ...) {}; 1943d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas 2043d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas vprintf_scanf("%", ap, "%d"); // expected-warning {{incomplete format specifier}}, expected-warning {{more '%' conversions than data arguments}} 2143d1251a471d19ce83aa8ce91c0104addada5addJean-Daniel Dupas} 22