1 /* Test for printf formats. Formats using C99 features, including cases
2 where C99 specifies some aspect of the format to be ignored or where
3 the behaviour is undefined.
5 /* Origin: Joseph Myers <jsm28@cam.ac.uk> */
6 /* { dg-do compile } */
7 /* { dg-options "-std=iso9899:1999 -pedantic -Wformat" } */
9 typedef __WCHAR_TYPE__ wchar_t;
10 typedef __WINT_TYPE__ wint_t;
11 typedef __SIZE_TYPE__ size_t;
12 typedef __PTRDIFF_TYPE__ ptrdiff_t;
14 /* Kludge to get signed type corresponding to size_t. */
15 #define unsigned signed
16 typedef __SIZE_TYPE__ signed_size_t;
19 /* These next definitions are broken. When GCC has a <stdint.h> and
20 an internal understanding of intmax_t and uintmax_t, they should be
21 replaced by an include of <stdint.h> or by definitions for internal
22 macros or typedefs, and the corresponding xfails removed.
24 typedef long long int intmax_t;
25 typedef unsigned long long int uintmax_t;
27 extern int printf (const char *, ...);
29 #define NULL ((void *)0)
32 foo (int i, unsigned int u, double d, char *s, void *p, int *n,
33 long double ld, wint_t lc, wchar_t *ls, long long int ll,
34 unsigned long long int ull, signed char *ss, unsigned char *us,
35 long long int *lln, intmax_t j, uintmax_t uj, intmax_t *jn,
36 size_t z, signed_size_t sz, signed_size_t *zn,
37 ptrdiff_t t, ptrdiff_t *tn)
39 /* See ISO/IEC 9899:1999 (E) subclause 7.19.6.1 (pages 273-281).
40 We do not repeat here most of the checks for correct C90 formats
41 or completely broken formats.
43 /* Valid and invalid %h, %hh, %l, %ll, %j, %z, %t, %L constructions. */
44 printf ("%hf", d); /* { dg-warning "length" "bad use of %h" } */
45 printf ("%hF", d); /* { dg-warning "length" "bad use of %h" } */
46 printf ("%he", d); /* { dg-warning "length" "bad use of %h" } */
47 printf ("%hE", d); /* { dg-warning "length" "bad use of %h" } */
48 printf ("%hg", d); /* { dg-warning "length" "bad use of %h" } */
49 printf ("%hG", d); /* { dg-warning "length" "bad use of %h" } */
50 printf ("%ha", d); /* { dg-warning "length" "bad use of %h" } */
51 printf ("%hA", d); /* { dg-warning "length" "bad use of %h" } */
52 printf ("%hc", i); /* { dg-warning "length" "bad use of %h" } */
53 printf ("%hs", s); /* { dg-warning "length" "bad use of %h" } */
54 printf ("%hp", p); /* { dg-warning "length" "bad use of %h" } */
55 printf ("%hhd%hhi%hho%hhu%hhx%hhX", i, i, u, u, u, u);
57 printf ("%hhf", d); /* { dg-warning "length" "bad use of %hh" } */
58 printf ("%hhF", d); /* { dg-warning "length" "bad use of %hh" } */
59 printf ("%hhe", d); /* { dg-warning "length" "bad use of %hh" } */
60 printf ("%hhE", d); /* { dg-warning "length" "bad use of %hh" } */
61 printf ("%hhg", d); /* { dg-warning "length" "bad use of %hh" } */
62 printf ("%hhG", d); /* { dg-warning "length" "bad use of %hh" } */
63 printf ("%hha", d); /* { dg-warning "length" "bad use of %hh" } */
64 printf ("%hhA", d); /* { dg-warning "length" "bad use of %hh" } */
65 printf ("%hhc", i); /* { dg-warning "length" "bad use of %hh" } */
66 printf ("%hhs", s); /* { dg-warning "length" "bad use of %hh" } */
67 printf ("%hhp", p); /* { dg-warning "length" "bad use of %hh" } */
70 printf ("%lf%lF%le%lE%lg%lG%la%lA", d, d, d, d, d, d, d, d);
71 printf ("%lp", p); /* { dg-warning "length|C" "bad use of %l" } */
72 printf ("%lld%lli%llo%llu%llx%llX", ll, ll, ull, ull, ull, ull);
74 printf ("%llf", d); /* { dg-warning "length" "bad use of %ll" } */
75 printf ("%llF", d); /* { dg-warning "length" "bad use of %ll" } */
76 printf ("%lle", d); /* { dg-warning "length" "bad use of %ll" } */
77 printf ("%llE", d); /* { dg-warning "length" "bad use of %ll" } */
78 printf ("%llg", d); /* { dg-warning "length" "bad use of %ll" } */
79 printf ("%llG", d); /* { dg-warning "length" "bad use of %ll" } */
80 printf ("%lla", d); /* { dg-warning "length" "bad use of %ll" } */
81 printf ("%llA", d); /* { dg-warning "length" "bad use of %ll" } */
82 printf ("%llc", i); /* { dg-warning "length" "bad use of %ll" } */
83 printf ("%lls", s); /* { dg-warning "length" "bad use of %ll" } */
84 printf ("%llp", p); /* { dg-warning "length" "bad use of %ll" } */
85 printf ("%jd%ji%jo%ju%jx%jX", j, j, uj, uj, uj, uj); /* { dg-bogus "length" "bogus %j warning" { xfail *-*-* } } */
86 printf ("%jn", jn); /* { dg-bogus "length" "bogus %j warning" { xfail *-*-* } } */
87 printf ("%jf", d); /* { dg-warning "length" "bad use of %j" } */
88 printf ("%jF", d); /* { dg-warning "length" "bad use of %j" } */
89 printf ("%je", d); /* { dg-warning "length" "bad use of %j" } */
90 printf ("%jE", d); /* { dg-warning "length" "bad use of %j" } */
91 printf ("%jg", d); /* { dg-warning "length" "bad use of %j" } */
92 printf ("%jG", d); /* { dg-warning "length" "bad use of %j" } */
93 printf ("%ja", d); /* { dg-warning "length" "bad use of %j" } */
94 printf ("%jA", d); /* { dg-warning "length" "bad use of %j" } */
95 printf ("%jc", i); /* { dg-warning "length" "bad use of %j" } */
96 printf ("%js", s); /* { dg-warning "length" "bad use of %j" } */
97 printf ("%jp", p); /* { dg-warning "length" "bad use of %j" } */
98 printf ("%zd%zi%zo%zu%zx%zX", sz, sz, z, z, z, z);
100 printf ("%zf", d); /* { dg-warning "length" "bad use of %z" } */
101 printf ("%zF", d); /* { dg-warning "length" "bad use of %z" } */
102 printf ("%ze", d); /* { dg-warning "length" "bad use of %z" } */
103 printf ("%zE", d); /* { dg-warning "length" "bad use of %z" } */
104 printf ("%zg", d); /* { dg-warning "length" "bad use of %z" } */
105 printf ("%zG", d); /* { dg-warning "length" "bad use of %z" } */
106 printf ("%za", d); /* { dg-warning "length" "bad use of %z" } */
107 printf ("%zA", d); /* { dg-warning "length" "bad use of %z" } */
108 printf ("%zc", i); /* { dg-warning "length" "bad use of %z" } */
109 printf ("%zs", s); /* { dg-warning "length" "bad use of %z" } */
110 printf ("%zp", p); /* { dg-warning "length" "bad use of %z" } */
111 printf ("%td%ti%to%tu%tx%tX", t, t, t, t, t, t);
113 printf ("%tf", d); /* { dg-warning "length" "bad use of %t" } */
114 printf ("%tF", d); /* { dg-warning "length" "bad use of %t" } */
115 printf ("%te", d); /* { dg-warning "length" "bad use of %t" } */
116 printf ("%tE", d); /* { dg-warning "length" "bad use of %t" } */
117 printf ("%tg", d); /* { dg-warning "length" "bad use of %t" } */
118 printf ("%tG", d); /* { dg-warning "length" "bad use of %t" } */
119 printf ("%ta", d); /* { dg-warning "length" "bad use of %t" } */
120 printf ("%tA", d); /* { dg-warning "length" "bad use of %t" } */
121 printf ("%tc", i); /* { dg-warning "length" "bad use of %t" } */
122 printf ("%ts", s); /* { dg-warning "length" "bad use of %t" } */
123 printf ("%tp", p); /* { dg-warning "length" "bad use of %t" } */
124 printf ("%Le%LE%Lf%LF%Lg%LG%La%LA", ld, ld, ld, ld, ld, ld, ld, ld);
125 /* These next six are accepted by GCC as referring to long long,
126 but -pedantic correctly warns.
128 printf ("%Ld", ll); /* { dg-warning "does not support" "bad use of %L" } */
129 printf ("%Li", ll); /* { dg-warning "does not support" "bad use of %L" } */
130 printf ("%Lo", ull); /* { dg-warning "does not support" "bad use of %L" } */
131 printf ("%Lu", ull); /* { dg-warning "does not support" "bad use of %L" } */
132 printf ("%Lx", ull); /* { dg-warning "does not support" "bad use of %L" } */
133 printf ("%LX", ull); /* { dg-warning "does not support" "bad use of %L" } */
134 printf ("%Lc", i); /* { dg-warning "length" "bad use of %L" } */
135 printf ("%Ls", s); /* { dg-warning "length" "bad use of %L" } */
136 printf ("%Lp", p); /* { dg-warning "length" "bad use of %L" } */
137 printf ("%Ln", n); /* { dg-warning "length" "bad use of %L" } */
138 /* Valid uses of each bare conversion. */
139 printf ("%d%i%o%u%x%X%f%F%e%E%g%G%a%A%c%s%p%n%%", i, i, u, u, u, u,
140 d, d, d, d, d, d, d, d, i, s, p, n);
141 /* Uses of the - flag (valid on all non-%, non-n conversions). */
142 printf ("%-d%-i%-o%-u%-x%-X%-f%-F%-e%-E%-g%-G%-a%-A%-c%-s%-p", i, i,
143 u, u, u, u, d, d, d, d, d, d, d, d, i, s, p);
144 printf ("%-n", n); /* { dg-warning "flag" "bad use of %-n" } */
145 /* Uses of the + flag (valid on signed conversions only). */
146 printf ("%+d%+i%+f%+F%+e%+E%+g%+G%+a%+A\n", i, i, d, d, d, d, d, d, d, d);
147 printf ("%+o", u); /* { dg-warning "flag" "bad use of + flag" } */
148 printf ("%+u", u); /* { dg-warning "flag" "bad use of + flag" } */
149 printf ("%+x", u); /* { dg-warning "flag" "bad use of + flag" } */
150 printf ("%+X", u); /* { dg-warning "flag" "bad use of + flag" } */
151 printf ("%+c", i); /* { dg-warning "flag" "bad use of + flag" } */
152 printf ("%+s", s); /* { dg-warning "flag" "bad use of + flag" } */
153 printf ("%+p", p); /* { dg-warning "flag" "bad use of + flag" } */
154 printf ("%+n", n); /* { dg-warning "flag" "bad use of + flag" } */
155 /* Uses of the space flag (valid on signed conversions only, and ignored
158 printf ("% +d", i); /* { dg-warning "use of both" "use of space and + flags" } */
159 printf ("%+ d", i); /* { dg-warning "use of both" "use of space and + flags" } */
160 printf ("% d% i% f% F% e% E% g% G% a% A\n", i, i, d, d, d, d, d, d, d, d);
161 printf ("% o", u); /* { dg-warning "flag" "bad use of space flag" } */
162 printf ("% u", u); /* { dg-warning "flag" "bad use of space flag" } */
163 printf ("% x", u); /* { dg-warning "flag" "bad use of space flag" } */
164 printf ("% X", u); /* { dg-warning "flag" "bad use of space flag" } */
165 printf ("% c", i); /* { dg-warning "flag" "bad use of space flag" } */
166 printf ("% s", s); /* { dg-warning "flag" "bad use of space flag" } */
167 printf ("% p", p); /* { dg-warning "flag" "bad use of space flag" } */
168 printf ("% n", n); /* { dg-warning "flag" "bad use of space flag" } */
169 /* Uses of the # flag. */
170 printf ("%#o%#x%#X%#e%#E%#f%#F%#g%#G%#a%#A", u, u, u, d, d, d, d,
172 printf ("%#d", i); /* { dg-warning "flag" "bad use of # flag" } */
173 printf ("%#i", i); /* { dg-warning "flag" "bad use of # flag" } */
174 printf ("%#u", u); /* { dg-warning "flag" "bad use of # flag" } */
175 printf ("%#c", i); /* { dg-warning "flag" "bad use of # flag" } */
176 printf ("%#s", s); /* { dg-warning "flag" "bad use of # flag" } */
177 printf ("%#p", p); /* { dg-warning "flag" "bad use of # flag" } */
178 printf ("%#n", n); /* { dg-warning "flag" "bad use of # flag" } */
179 /* Uses of the 0 flag. */
180 printf ("%08d%08i%08o%08u%08x%08X%08e%08E%08f%08F%08g%08G%08a%08A", i, i,
181 u, u, u, u, d, d, d, d, d, d, d, d);
182 printf ("%0c", i); /* { dg-warning "flag" "bad use of 0 flag" } */
183 printf ("%0s", s); /* { dg-warning "flag" "bad use of 0 flag" } */
184 printf ("%0p", p); /* { dg-warning "flag" "bad use of 0 flag" } */
185 printf ("%0n", n); /* { dg-warning "flag" "bad use of 0 flag" } */
186 /* 0 flag ignored with precision for certain types, not others. */
187 printf ("%08.5d", i); /* { dg-warning "ignored" "0 flag ignored with precision" } */
188 printf ("%08.5i", i); /* { dg-warning "ignored" "0 flag ignored with precision" } */
189 printf ("%08.5o", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
190 printf ("%08.5u", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
191 printf ("%08.5x", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
192 printf ("%08.5X", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
193 printf ("%08.5f%08.5F%08.5e%08.5E%08.5g%08.5G%08.5a%08.5A",
194 d, d, d, d, d, d, d, d);
195 /* 0 flag ignored with - flag. */
196 printf ("%-08d", i); /* { dg-warning "flags" "0 flag ignored with - flag" } */
197 printf ("%-08i", i); /* { dg-warning "flags" "0 flag ignored with - flag" } */
198 printf ("%-08o", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */
199 printf ("%-08u", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */
200 printf ("%-08x", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */
201 printf ("%-08X", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */
202 printf ("%-08e", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
203 printf ("%-08E", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
204 printf ("%-08f", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
205 printf ("%-08F", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
206 printf ("%-08g", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
207 printf ("%-08G", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
208 printf ("%-08a", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
209 printf ("%-08A", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */
210 /* Various tests of bad argument types. Mostly covered in c90-printf-1.c;
211 here just test for pointer target sign with %hhn. (Probably allowed
212 by the standard, but a bad idea, so GCC should diagnose if what
213 is used is not signed char *.)
215 printf ("%hhn", s); /* { dg-warning "format" "%hhn plain char" } */
216 printf ("%hhn", us); /* { dg-warning "format" "%hhn unsigned char" } */