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