1 // RUN: %clang_cc1 -fsyntax-only -verify -Wformat-nonliteral -Wformat-non-iso -fblocks %s
2 
3 #include <stdarg.h>
4 
5 extern "C" {
6 extern int scanf(const char *restrict, ...);
7 extern int printf(const char *restrict, ...);
8 extern int vprintf(const char *restrict, va_list);
9 }
10 
11 void f(char **sp, float *fp) {
12   scanf("%as", sp); // expected-warning{{'a' length modifier is not supported by ISO C}}
13 
14   // TODO: Warn that the 'a' conversion specifier is a C++11 feature.
15   printf("%a", 1.0);
16   scanf("%afoobar", fp);
17 }
18 
19 void g() {
20   printf("%ls", "foo"); // expected-warning{{format specifies type 'wchar_t *' but the argument has type 'const char *'}}
21 }
22 
23 // Test that we properly handle format_idx on C++ members.
24 class Foo {
25 public:
26   const char *gettext(const char *fmt) __attribute__((format_arg(2)));
27 
28   int scanf(const char *, ...) __attribute__((format(scanf, 2, 3)));
29   int printf(const char *, ...) __attribute__((format(printf, 2, 3)));
30   int printf2(const char *, ...);
31 
32   static const char *gettext_static(const char *fmt) __attribute__((format_arg(1)));
33   static int printf_static(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
34 };
35 
36 void h(int *i) {
37   Foo foo;
38   foo.scanf("%d"); // expected-warning{{more '%' conversions than data arguments}}
39   foo.printf("%d", i); // expected-warning{{format specifies type 'int' but the argument has type 'int *'}}
40   Foo::printf_static("%d", i); // expected-warning{{format specifies type 'int' but the argument has type 'int *'}}
41 
42   printf(foo.gettext("%d"), i); // expected-warning{{format specifies type 'int' but the argument has type 'int *'}}
43   printf(Foo::gettext_static("%d"), i); // expected-warning{{format specifies type 'int' but the argument has type 'int *'}}
44 }
45 
46 // Test handling __null for format string literal checking.
47 extern "C" {
48   int test_null_format(const char *format, ...) __attribute__((__format__ (__printf__, 1, 2)));
49 }
50 
51 void rdar8269537(const char *f)
52 {
53   test_null_format(false); // expected-warning {{null from a constant boolean}}
54   test_null_format(0); // no-warning
55   test_null_format(__null); // no-warning
56   test_null_format(f); // expected-warning {{not a string literal}}
57   // expected-note@-1{{treat the string as an argument to avoid this}}
58 }
59 
60 int Foo::printf(const char *fmt, ...) {
61   va_list ap;
62   va_start(ap,fmt);
63   const char * const format = fmt;
64   vprintf(format, ap); // no-warning
65 
66   const char *format2 = fmt;
67   vprintf(format2, ap); // expected-warning{{format string is not a string literal}}
68 
69   return 0;
70 }
71 
72 int Foo::printf2(const char *fmt, ...) {
73   va_list ap;
74   va_start(ap,fmt);
75   vprintf(fmt, ap); // expected-warning{{format string is not a string literal}}
76 
77   return 0;
78 }
79 
80 
81 namespace Templates {
82   template<typename T>
83   void my_uninstantiated_print(const T &arg) {
84     printf("%d", arg); // no-warning
85   }
86 
87   template<typename T>
88   void my_print(const T &arg) {
89     printf("%d", arg); // expected-warning {{format specifies type 'int' but the argument has type 'const char *'}}
90   }
91 
92   void use_my_print() {
93     my_print("abc"); // expected-note {{requested here}}
94   }
95 
96 
97   template<typename T>
98   class UninstantiatedPrinter {
99   public:
100     static void print(const T &arg) {
101       printf("%d", arg); // no-warning
102     }
103   };
104 
105   template<typename T>
106   class Printer {
107     void format(const char *fmt, ...) __attribute__((format(printf,2,3)));
108   public:
109 
110     void print(const T &arg) {
111       format("%d", arg); // expected-warning {{format specifies type 'int' but the argument has type 'const char *'}}
112     }
113   };
114 
115   void use_class(Printer<const char *> &p) {
116     p.print("abc"); // expected-note {{requested here}}
117   }
118 
119 
120   extern void (^block_print)(const char * format, ...) __attribute__((format(printf, 1, 2)));
121 
122   template<typename T>
123   void uninstantiated_call_block_print(const T &arg) {
124     block_print("%d", arg); // no-warning
125   }
126 
127   template<typename T>
128   void call_block_print(const T &arg) {
129     block_print("%d", arg); // expected-warning {{format specifies type 'int' but the argument has type 'const char *'}}
130   }
131 
132   void use_block_print() {
133     call_block_print("abc"); // expected-note {{requested here}}
134   }
135 }
136 
137 namespace implicit_this_tests {
138 struct t {
139     void func1(const char *, ...) __attribute__((__format__(printf, 1, 2))); // expected-error {{format attribute cannot specify the implicit this argument as the format string}}
140     void (*func2)(const char *, ...) __attribute__((__format__(printf, 1, 2)));
141     static void (*func3)(const char *, ...) __attribute__((__format__(printf, 1, 2)));
142     static void func4(const char *, ...) __attribute__((__format__(printf, 1, 2)));
143 };
144 
145 void f() {
146   t t1;
147   t1.func2("Hello %s"); // expected-warning {{more '%' conversions than data arguments}}
148   t::func3("Hello %s"); // expected-warning {{more '%' conversions than data arguments}}
149   t::func4("Hello %s"); // expected-warning {{more '%' conversions than data arguments}}
150 }
151 }
152