blob: dd678a5439c53e9f4f2d2f0996427b7d316964f2 [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
Jean-Daniel Dupas43d12512012-01-25 00:55:11 +00003#include <stdarg.h>
4
Mike Stump1eb44332009-09-09 15:08:12 +00005int main() {
6 void (^b) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 1, 3))) = // expected-error {{format argument not a string type}}
7 ^ __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 +00008
Mike Stump1eb44332009-09-09 15:08:12 +00009 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 +000010
Ted Kremenekce506ae2012-01-20 21:52:58 +000011 z(1, "%s", 1); // expected-warning{{format specifies type 'char *' but the argument has type 'int'}}
Ted Kremenek4e4b30e2010-02-16 01:46:59 +000012 z(1, "%s", "HELLO"); // no-warning
Fariborz Jahaniand66f22d2009-05-19 17:08:59 +000013}
Jean-Daniel Dupas43d12512012-01-25 00:55:11 +000014
15void multi_attr(va_list ap, int *x, long *y) {
16 // Handle block with multiple format attributes.
17 void (^vprintf_scanf) (const char *, va_list, const char *, ...) __attribute__((__format__(__printf__, 1, 0))) __attribute__((__format__(__scanf__, 3, 4))) =
18 ^ __attribute__((__format__(__printf__, 1, 0))) __attribute__((__format__(__scanf__, 3, 4))) (const char *str, va_list args, const char *fmt, ...) {};
19
20 vprintf_scanf("%", ap, "%d"); // expected-warning {{incomplete format specifier}}, expected-warning {{more '%' conversions than data arguments}}
21}