1 //RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 #include <stdarg.h> 4 5 void a(const char *a, ...) __attribute__((format(printf, 1, 2))); // no-error 6 void b(const char *a, ...) __attribute__((format(printf, 1, 1))); // expected-error {{'format' attribute parameter 3 is out of bounds}} 7 void c(const char *a, ...) __attribute__((format(printf, 0, 2))); // expected-error {{'format' attribute parameter 2 is out of bounds}} 8 void d(const char *a, int c) __attribute__((format(printf, 1, 2))); // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}} 9 void e(char *str, int c, ...) __attribute__((format(printf, 2, 3))); // expected-error {{format argument not a string type}} 10 void f(int a, const char *b, ...) __attribute__((format(printf, 2, 1))); // expected-error {{'format' attribute parameter 3 is out of bounds}} 11 void g(int a, const char *b, ...) __attribute__((format(printf, 2, 2))); // expected-error {{'format' attribute parameter 3 is out of bounds}} 12 void h(int a, const char *b, ...) __attribute__((format(printf, 2, 3))); // no-error 13 void i(const char *a, int b, ...) __attribute__((format(printf, 1, 2))); // expected-error {{'format' attribute parameter 3 is out of bounds}} 14 15 typedef const char *xpto; 16 void j(xpto c, va_list list) __attribute__((format(printf, 1, 0))); // no-error 17 void k(xpto c) __attribute__((format(printf, 1, 0))); // no-error 18 19 void y(char *str) __attribute__((format(strftime, 1, 0))); // no-error 20 void z(char *str, int c, ...) __attribute__((format(strftime, 1, 2))); // expected-error {{strftime format attribute requires 3rd parameter to be 0}} 21 22 int (*f_ptr)(char*,...) __attribute__((format(printf, 1,2))); // no-error 23 int (*f2_ptr)(double,...) __attribute__((format(printf, 1, 2))); // expected-error {{format argument not a string type}} 24 25 struct _mystruct { 26 int (*printf)(const char *format, ...) __attribute__((__format__(printf, 1, 2))); // no-error 27 int (*printf2)(double format, ...) __attribute__((__format__(printf, 1, 2))); // expected-error {{format argument not a string type}} 28 }; 29 30 typedef int (*f3_ptr)(char*,...) __attribute__((format(printf,1,0))); // no-error 31 32 int rdar6623513(void *, const char*, const char*, ...) 33 __attribute__ ((format (printf, 3, 0))); 34 35 int rdar6623513_aux(int len, const char* s) { 36 rdar6623513(0, "hello", "%.*s", len, s); 37 } 38 39 // same as format(printf(...))... 40 void a2(const char *a, ...) __attribute__((format(printf0, 1, 2))); // no-error 41 void b2(const char *a, ...) __attribute__((format(printf0, 1, 1))); // expected-error {{'format' attribute parameter 3 is out of bounds}} 42 void c2(const char *a, ...) __attribute__((format(printf0, 0, 2))); // expected-error {{'format' attribute parameter 2 is out of bounds}} 43 void d2(const char *a, int c) __attribute__((format(printf0, 1, 2))); // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}} 44 void e2(char *str, int c, ...) __attribute__((format(printf0, 2, 3))); // expected-error {{format argument not a string type}} 45 46 // FreeBSD usage 47 #define __printf0like(fmt, va) __attribute__((__format__(__printf0__, fmt, va))) 48 void null(int i, const char *a, ...) __printf0like(2, 0); // no-error 49 void null(int i, const char *a, ...) { // expected-note{{passing argument to parameter 'a' here}} 50 if (a) 51 (void)0/* vprintf(...) would go here */; 52 } 53 54 void callnull(void){ 55 null(0, 0); // no error 56 null(0, (char*)0); // no error 57 null(0, (void*)0); // no error 58 null(0, (int*)0); // expected-warning {{incompatible pointer types}} 59 } 60 61 // FreeBSD kernel extensions 62 void a3(const char *a, ...) __attribute__((format(freebsd_kprintf, 1, 2))); // no-error 63 void b3(const char *a, ...) __attribute__((format(freebsd_kprintf, 1, 1))); // expected-error {{'format' attribute parameter 3 is out of bounds}} 64 void c3(const char *a, ...) __attribute__((format(freebsd_kprintf, 0, 2))); // expected-error {{'format' attribute parameter 2 is out of bounds}} 65 void d3(const char *a, int c) __attribute__((format(freebsd_kprintf, 1, 2))); // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}} 66 void e3(char *str, int c, ...) __attribute__((format(freebsd_kprintf, 2, 3))); // expected-error {{format argument not a string type}} 67 68 // PR4470 69 int xx_vprintf(const char *, va_list); 70 71 const char *foo(const char *format) __attribute__((format_arg(1))); 72 73 void __attribute__((format(printf, 1, 0))) 74 foo2(const char *fmt, va_list va) { 75 xx_vprintf(foo(fmt), va); 76 } 77 78 // PR6542 79 extern void gcc_format(const char *, ...) 80 __attribute__((__format__(__gcc_diag__, 1, 2))); 81 extern void gcc_cformat(const char *, ...) 82 __attribute__((__format__(__gcc_cdiag__, 1, 2))); 83 extern void gcc_cxxformat(const char *, ...) 84 __attribute__((__format__(__gcc_cxxdiag__, 1, 2))); 85 extern void gcc_tformat(const char *, ...) 86 __attribute__((__format__(__gcc_tdiag__, 1, 2))); 87 88 const char *foo3(const char *format) __attribute__((format_arg("foo"))); // expected-error{{'format_arg' attribute requires parameter 1 to be an integer constant}} 89 90 void call_nonvariadic(void) { 91 d3("%i", 123); 92 d3("%d", 123); 93 d3("%s", 123); // expected-warning{{format specifies type 'char *' but the argument has type 'int'}} 94 } 95 96 __attribute__((format(printf, 1, 2))) 97 void forward_fixed(const char *fmt, _Bool b, char i, short j, int k, float l, double m) { // expected-warning{{GCC requires a function with the 'format' attribute to be variadic}} 98 forward_fixed(fmt, b, i, j, k, l, m); 99 a(fmt, b, i, j, k, l, m); 100 } 101 102 // OpenBSD 103 // same as format(printf(...))... 104 void a2(const char *a, ...) __attribute__((format(syslog, 1, 2))); // no-error 105 void b2(const char *a, ...) __attribute__((format(syslog, 1, 1))); // expected-error {{'format' attribute parameter 3 is out of bounds}} 106 void c2(const char *a, ...) __attribute__((format(syslog, 0, 2))); // expected-error {{'format' attribute parameter 2 is out of bounds}} 107 void d2(const char *a, int c) __attribute__((format(syslog, 1, 2))); // expected-warning {{GCC requires a function with the 'format' attribute to be variadic}} 108 void e2(char *str, int c, ...) __attribute__((format(syslog, 2, 3))); // expected-error {{format argument not a string type}} 109