|
150
|
1 //RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
2
|
|
|
3 #include <stdarg.h>
|
|
|
4
|
|
236
|
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}}
|
|
150
|
10
|
|
236
|
11 typedef const char *xpto;
|
|
150
|
12 void f(xpto c, va_list list) __attribute__((format(printf, 1, 0))); // no-error
|
|
236
|
13 void g(xpto c) __attribute__((format(printf, 1, 0))); // no-error
|
|
150
|
14
|
|
236
|
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}}
|
|
150
|
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(...))...
|
|
236
|
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}}
|
|
150
|
42
|
|
|
43 // FreeBSD usage
|
|
236
|
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}}
|
|
150
|
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
|
|
236
|
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}}
|
|
150
|
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
|
|
236
|
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}}
|
|
150
|
86
|
|
236
|
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 }
|
