xref: /aosp_15_r20/external/clang/test/Sema/format-strings-fixit.c (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: cp %s %t
2*67e74705SXin Li // RUN: %clang_cc1 -pedantic -Wall -fixit %t
3*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -pedantic -Wall -Werror %t
4*67e74705SXin Li // RUN: %clang_cc1 -E -o - %t | FileCheck %s
5*67e74705SXin Li 
6*67e74705SXin Li /* This is a test of the various code modification hints that are
7*67e74705SXin Li    provided as part of warning or extension diagnostics. All of the
8*67e74705SXin Li    warnings will be fixed by -fixit, and the resulting file should
9*67e74705SXin Li    compile cleanly with -Werror -pedantic. */
10*67e74705SXin Li 
11*67e74705SXin Li int printf(char const *, ...);
12*67e74705SXin Li 
13*67e74705SXin Li typedef __SIZE_TYPE__ size_t;
14*67e74705SXin Li typedef __INTMAX_TYPE__ intmax_t;
15*67e74705SXin Li typedef __UINTMAX_TYPE__ uintmax_t;
16*67e74705SXin Li typedef __PTRDIFF_TYPE__ ptrdiff_t;
17*67e74705SXin Li typedef __WCHAR_TYPE__ wchar_t;
18*67e74705SXin Li 
test()19*67e74705SXin Li void test() {
20*67e74705SXin Li   // Basic types
21*67e74705SXin Li   printf("%s", (int) 123);
22*67e74705SXin Li   printf("abc%0f", "testing testing 123");
23*67e74705SXin Li   printf("%u", (long) -12);
24*67e74705SXin Li   printf("%p", 123);
25*67e74705SXin Li   printf("%c\n", "x");
26*67e74705SXin Li   printf("%c\n", 1.23);
27*67e74705SXin Li 
28*67e74705SXin Li   // Larger types
29*67e74705SXin Li   printf("%+.2d", (unsigned long long) 123456);
30*67e74705SXin Li   printf("%1d", (long double) 1.23);
31*67e74705SXin Li 
32*67e74705SXin Li   // Flag handling
33*67e74705SXin Li   printf("%0+s", (unsigned) 31337); // 0 flag should stay
34*67e74705SXin Li   printf("%#p", (void *) 0);
35*67e74705SXin Li   printf("% +f", 1.23); // + flag should stay
36*67e74705SXin Li   printf("%0-f", 1.23); // - flag should stay
37*67e74705SXin Li 
38*67e74705SXin Li   // Positional arguments
39*67e74705SXin Li #pragma clang diagnostic push // Don't warn about using positional arguments.
40*67e74705SXin Li #pragma clang diagnostic ignored "-Wformat-non-iso"
41*67e74705SXin Li   printf("%1$f:%2$.*3$f:%4$.*3$f\n", 1, 2, 3, 4);
42*67e74705SXin Li #pragma clang diagnostic pop
43*67e74705SXin Li 
44*67e74705SXin Li   // Precision
45*67e74705SXin Li   printf("%10.5d", 1l); // (bug 7394)
46*67e74705SXin Li   printf("%.2c", 'a');
47*67e74705SXin Li 
48*67e74705SXin Li   // Ignored flags
49*67e74705SXin Li   printf("%0-f", 1.23);
50*67e74705SXin Li 
51*67e74705SXin Li   // Bad length modifiers
52*67e74705SXin Li   printf("%hhs", "foo");
53*67e74705SXin Li #pragma clang diagnostic push // Don't warn about using positional arguments.
54*67e74705SXin Li #pragma clang diagnostic ignored "-Wformat-non-iso"
55*67e74705SXin Li   printf("%1$zp", (void *)0);
56*67e74705SXin Li #pragma clang diagnostic pop
57*67e74705SXin Li 
58*67e74705SXin Li   // Preserve the original formatting for unsigned integers.
59*67e74705SXin Li   unsigned long val = 42;
60*67e74705SXin Li   printf("%X", val);
61*67e74705SXin Li 
62*67e74705SXin Li   // size_t, etc.
63*67e74705SXin Li   printf("%f", (size_t) 42);
64*67e74705SXin Li   printf("%f", (intmax_t) 42);
65*67e74705SXin Li   printf("%f", (uintmax_t) 42);
66*67e74705SXin Li   printf("%f", (ptrdiff_t) 42);
67*67e74705SXin Li 
68*67e74705SXin Li   // Look beyond the first typedef.
69*67e74705SXin Li   typedef size_t my_size_type;
70*67e74705SXin Li   typedef intmax_t my_intmax_type;
71*67e74705SXin Li   typedef uintmax_t my_uintmax_type;
72*67e74705SXin Li   typedef ptrdiff_t my_ptrdiff_type;
73*67e74705SXin Li   typedef int my_int_type;
74*67e74705SXin Li   printf("%f", (my_size_type) 42);
75*67e74705SXin Li   printf("%f", (my_intmax_type) 42);
76*67e74705SXin Li   printf("%f", (my_uintmax_type) 42);
77*67e74705SXin Li   printf("%f", (my_ptrdiff_type) 42);
78*67e74705SXin Li   printf("%f", (my_int_type) 42);
79*67e74705SXin Li 
80*67e74705SXin Li   // string
81*67e74705SXin Li   printf("%ld", "foo");
82*67e74705SXin Li 
83*67e74705SXin Li   // Preserve the original choice of conversion specifier.
84*67e74705SXin Li   printf("%o", (long) 42);
85*67e74705SXin Li   printf("%u", (long) 42);
86*67e74705SXin Li   printf("%x", (long) 42);
87*67e74705SXin Li   printf("%X", (long) 42);
88*67e74705SXin Li   printf("%i", (unsigned long) 42);
89*67e74705SXin Li   printf("%d", (unsigned long) 42);
90*67e74705SXin Li   printf("%F", (long double) 42);
91*67e74705SXin Li   printf("%e", (long double) 42);
92*67e74705SXin Li   printf("%E", (long double) 42);
93*67e74705SXin Li   printf("%g", (long double) 42);
94*67e74705SXin Li   printf("%G", (long double) 42);
95*67e74705SXin Li   printf("%a", (long double) 42);
96*67e74705SXin Li   printf("%A", (long double) 42);
97*67e74705SXin Li }
98*67e74705SXin Li 
99*67e74705SXin Li int scanf(char const *, ...);
100*67e74705SXin Li 
test2(int intSAParm[static2])101*67e74705SXin Li void test2(int intSAParm[static 2]) {
102*67e74705SXin Li   char str[100];
103*67e74705SXin Li   char *vstr = "abc";
104*67e74705SXin Li   short shortVar;
105*67e74705SXin Li   unsigned short uShortVar;
106*67e74705SXin Li   int intVar;
107*67e74705SXin Li   int intAVar[2];
108*67e74705SXin Li   unsigned uIntVar;
109*67e74705SXin Li   float floatVar;
110*67e74705SXin Li   double doubleVar;
111*67e74705SXin Li   long double longDoubleVar;
112*67e74705SXin Li   long longVar;
113*67e74705SXin Li   unsigned long uLongVar;
114*67e74705SXin Li   long long longLongVar;
115*67e74705SXin Li   unsigned long long uLongLongVar;
116*67e74705SXin Li   size_t sizeVar;
117*67e74705SXin Li   intmax_t intmaxVar;
118*67e74705SXin Li   uintmax_t uIntmaxVar;
119*67e74705SXin Li   ptrdiff_t ptrdiffVar;
120*67e74705SXin Li   enum {A, B, C} enumVar;
121*67e74705SXin Li 
122*67e74705SXin Li   // Some string types.
123*67e74705SXin Li   scanf("%lf", str);
124*67e74705SXin Li   scanf("%lf", vstr);
125*67e74705SXin Li   scanf("%ls", str);
126*67e74705SXin Li   scanf("%ls", str);
127*67e74705SXin Li 
128*67e74705SXin Li   // Some integer types.
129*67e74705SXin Li   scanf("%f", &shortVar);
130*67e74705SXin Li   scanf("%f", &uShortVar);
131*67e74705SXin Li   scanf("%p", &intVar);
132*67e74705SXin Li   scanf("%f", intAVar);
133*67e74705SXin Li   scanf("%f", intSAParm);
134*67e74705SXin Li   scanf("%Lf", &uIntVar);
135*67e74705SXin Li   scanf("%ld", &floatVar);
136*67e74705SXin Li   scanf("%f", &doubleVar);
137*67e74705SXin Li   scanf("%d", &longDoubleVar);
138*67e74705SXin Li   scanf("%f", &longVar);
139*67e74705SXin Li   scanf("%f", &uLongVar);
140*67e74705SXin Li   scanf("%f", &longLongVar);
141*67e74705SXin Li   scanf("%f", &uLongLongVar);
142*67e74705SXin Li   scanf("%d", &enumVar); // FIXME: We ought to fix specifiers for enums.
143*67e74705SXin Li 
144*67e74705SXin Li   // Some named ints.
145*67e74705SXin Li   scanf("%f", &sizeVar);
146*67e74705SXin Li   scanf("%f", &intmaxVar);
147*67e74705SXin Li   scanf("%f", &uIntmaxVar);
148*67e74705SXin Li   scanf("%f", &ptrdiffVar);
149*67e74705SXin Li 
150*67e74705SXin Li   // Look beyond the first typedef for named integer types.
151*67e74705SXin Li   typedef size_t my_size_type;
152*67e74705SXin Li   typedef intmax_t my_intmax_type;
153*67e74705SXin Li   typedef uintmax_t my_uintmax_type;
154*67e74705SXin Li   typedef ptrdiff_t my_ptrdiff_type;
155*67e74705SXin Li   typedef int my_int_type;
156*67e74705SXin Li   scanf("%f", (my_size_type*)&sizeVar);
157*67e74705SXin Li   scanf("%f", (my_intmax_type*)&intmaxVar);
158*67e74705SXin Li   scanf("%f", (my_uintmax_type*)&uIntmaxVar);
159*67e74705SXin Li   scanf("%f", (my_ptrdiff_type*)&ptrdiffVar);
160*67e74705SXin Li   scanf("%f", (my_int_type*)&intVar);
161*67e74705SXin Li 
162*67e74705SXin Li   // Preserve the original formatting.
163*67e74705SXin Li   scanf("%o", &longVar);
164*67e74705SXin Li   scanf("%u", &longVar);
165*67e74705SXin Li   scanf("%x", &longVar);
166*67e74705SXin Li   scanf("%X", &longVar);
167*67e74705SXin Li   scanf("%i", &uLongVar);
168*67e74705SXin Li   scanf("%d", &uLongVar);
169*67e74705SXin Li   scanf("%F", &longDoubleVar);
170*67e74705SXin Li   scanf("%e", &longDoubleVar);
171*67e74705SXin Li   scanf("%E", &longDoubleVar);
172*67e74705SXin Li   scanf("%g", &longDoubleVar);
173*67e74705SXin Li   scanf("%G", &longDoubleVar);
174*67e74705SXin Li   scanf("%a", &longDoubleVar);
175*67e74705SXin Li   scanf("%A", &longDoubleVar);
176*67e74705SXin Li }
177*67e74705SXin Li 
178*67e74705SXin Li // Validate the fixes.
179*67e74705SXin Li // CHECK: printf("%d", (int) 123);
180*67e74705SXin Li // CHECK: printf("abc%s", "testing testing 123");
181*67e74705SXin Li // CHECK: printf("%ld", (long) -12);
182*67e74705SXin Li // CHECK: printf("%d", 123);
183*67e74705SXin Li // CHECK: printf("%s\n", "x");
184*67e74705SXin Li // CHECK: printf("%f\n", 1.23);
185*67e74705SXin Li // CHECK: printf("%+.2lld", (unsigned long long) 123456);
186*67e74705SXin Li // CHECK: printf("%1Lf", (long double) 1.23);
187*67e74705SXin Li // CHECK: printf("%0u", (unsigned) 31337);
188*67e74705SXin Li // CHECK: printf("%p", (void *) 0);
189*67e74705SXin Li // CHECK: printf("%+f", 1.23);
190*67e74705SXin Li // CHECK: printf("%-f", 1.23);
191*67e74705SXin Li // CHECK: printf("%1$d:%2$.*3$d:%4$.*3$d\n", 1, 2, 3, 4);
192*67e74705SXin Li // CHECK: printf("%10.5ld", 1l);
193*67e74705SXin Li // CHECK: printf("%c", 'a');
194*67e74705SXin Li // CHECK: printf("%-f", 1.23);
195*67e74705SXin Li // CHECK: printf("%s", "foo");
196*67e74705SXin Li // CHECK: printf("%1$p", (void *)0);
197*67e74705SXin Li // CHECK: printf("%lX", val);
198*67e74705SXin Li // CHECK: printf("%zu", (size_t) 42);
199*67e74705SXin Li // CHECK: printf("%jd", (intmax_t) 42);
200*67e74705SXin Li // CHECK: printf("%ju", (uintmax_t) 42);
201*67e74705SXin Li // CHECK: printf("%td", (ptrdiff_t) 42);
202*67e74705SXin Li // CHECK: printf("%zu", (my_size_type) 42);
203*67e74705SXin Li // CHECK: printf("%jd", (my_intmax_type) 42);
204*67e74705SXin Li // CHECK: printf("%ju", (my_uintmax_type) 42);
205*67e74705SXin Li // CHECK: printf("%td", (my_ptrdiff_type) 42);
206*67e74705SXin Li // CHECK: printf("%d", (my_int_type) 42);
207*67e74705SXin Li // CHECK: printf("%s", "foo");
208*67e74705SXin Li // CHECK: printf("%lo", (long) 42);
209*67e74705SXin Li // CHECK: printf("%ld", (long) 42);
210*67e74705SXin Li // CHECK: printf("%lx", (long) 42);
211*67e74705SXin Li // CHECK: printf("%lX", (long) 42);
212*67e74705SXin Li // CHECK: printf("%lu", (unsigned long) 42);
213*67e74705SXin Li // CHECK: printf("%lu", (unsigned long) 42);
214*67e74705SXin Li // CHECK: printf("%LF", (long double) 42);
215*67e74705SXin Li // CHECK: printf("%Le", (long double) 42);
216*67e74705SXin Li // CHECK: printf("%LE", (long double) 42);
217*67e74705SXin Li // CHECK: printf("%Lg", (long double) 42);
218*67e74705SXin Li // CHECK: printf("%LG", (long double) 42);
219*67e74705SXin Li // CHECK: printf("%La", (long double) 42);
220*67e74705SXin Li // CHECK: printf("%LA", (long double) 42);
221*67e74705SXin Li 
222*67e74705SXin Li // CHECK: scanf("%99s", str);
223*67e74705SXin Li // CHECK: scanf("%s", vstr);
224*67e74705SXin Li // CHECK: scanf("%99s", str);
225*67e74705SXin Li // CHECK: scanf("%99s", str);
226*67e74705SXin Li // CHECK: scanf("%hd", &shortVar);
227*67e74705SXin Li // CHECK: scanf("%hu", &uShortVar);
228*67e74705SXin Li // CHECK: scanf("%d", &intVar);
229*67e74705SXin Li // CHECK: scanf("%d", intAVar);
230*67e74705SXin Li // CHECK: scanf("%d", intSAParm);
231*67e74705SXin Li // CHECK: scanf("%u", &uIntVar);
232*67e74705SXin Li // CHECK: scanf("%f", &floatVar);
233*67e74705SXin Li // CHECK: scanf("%lf", &doubleVar);
234*67e74705SXin Li // CHECK: scanf("%Lf", &longDoubleVar);
235*67e74705SXin Li // CHECK: scanf("%ld", &longVar);
236*67e74705SXin Li // CHECK: scanf("%lu", &uLongVar);
237*67e74705SXin Li // CHECK: scanf("%lld", &longLongVar);
238*67e74705SXin Li // CHECK: scanf("%llu", &uLongLongVar);
239*67e74705SXin Li // CHECK: scanf("%d", &enumVar);
240*67e74705SXin Li // CHECK: scanf("%zu", &sizeVar);
241*67e74705SXin Li // CHECK: scanf("%jd", &intmaxVar);
242*67e74705SXin Li // CHECK: scanf("%ju", &uIntmaxVar);
243*67e74705SXin Li // CHECK: scanf("%td", &ptrdiffVar);
244*67e74705SXin Li // CHECK: scanf("%zu", (my_size_type*)&sizeVar);
245*67e74705SXin Li // CHECK: scanf("%jd", (my_intmax_type*)&intmaxVar);
246*67e74705SXin Li // CHECK: scanf("%ju", (my_uintmax_type*)&uIntmaxVar);
247*67e74705SXin Li // CHECK: scanf("%td", (my_ptrdiff_type*)&ptrdiffVar);
248*67e74705SXin Li // CHECK: scanf("%d", (my_int_type*)&intVar);
249*67e74705SXin Li // CHECK: scanf("%lo", &longVar);
250*67e74705SXin Li // CHECK: scanf("%lu", &longVar);
251*67e74705SXin Li // CHECK: scanf("%lx", &longVar);
252*67e74705SXin Li // CHECK: scanf("%lX", &longVar);
253*67e74705SXin Li // CHECK: scanf("%li", &uLongVar);
254*67e74705SXin Li // CHECK: scanf("%ld", &uLongVar);
255*67e74705SXin Li // CHECK: scanf("%LF", &longDoubleVar);
256*67e74705SXin Li // CHECK: scanf("%Le", &longDoubleVar);
257*67e74705SXin Li // CHECK: scanf("%LE", &longDoubleVar);
258*67e74705SXin Li // CHECK: scanf("%Lg", &longDoubleVar);
259*67e74705SXin Li // CHECK: scanf("%LG", &longDoubleVar);
260*67e74705SXin Li // CHECK: scanf("%La", &longDoubleVar);
261*67e74705SXin Li // CHECK: scanf("%LA", &longDoubleVar);
262