| 1 |
149 |
jeremybenn |
/* Test for printf formats. Formats using C90 features, including cases
|
| 2 |
|
|
where C90 specifies some aspect of the format to be ignored or where
|
| 3 |
|
|
the behavior is undefined.
|
| 4 |
|
|
*/
|
| 5 |
|
|
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
|
| 6 |
|
|
/* { dg-do compile } */
|
| 7 |
|
|
/* { dg-options "-std=iso9899:1990 -pedantic -Wformat" } */
|
| 8 |
|
|
|
| 9 |
|
|
#include "format.h"
|
| 10 |
|
|
|
| 11 |
|
|
void
|
| 12 |
|
|
foo (int i, int i1, int i2, unsigned int u, double d, char *s, void *p,
|
| 13 |
|
|
int *n, short int *hn, long int l, unsigned long int ul,
|
| 14 |
|
|
long int *ln, long double ld, wint_t lc, wchar_t *ls, llong ll,
|
| 15 |
|
|
ullong ull, unsigned int *un, const int *cn, signed char *ss,
|
| 16 |
|
|
unsigned char *us, const signed char *css, unsigned int u1,
|
| 17 |
|
|
unsigned int u2)
|
| 18 |
|
|
{
|
| 19 |
|
|
/* See ISO/IEC 9899:1990 (E) subclause 7.9.6.1 (pages 131-134). */
|
| 20 |
|
|
/* Basic sanity checks for the different components of a format. */
|
| 21 |
|
|
printf ("%d\n", i);
|
| 22 |
|
|
printf ("%+d\n", i);
|
| 23 |
|
|
printf ("%3d\n", i);
|
| 24 |
|
|
printf ("%-3d\n", i);
|
| 25 |
|
|
printf ("%.7d\n", i);
|
| 26 |
|
|
printf ("%+9.4d\n", i);
|
| 27 |
|
|
printf ("%.3ld\n", l);
|
| 28 |
|
|
printf ("%*d\n", i1, i);
|
| 29 |
|
|
printf ("%.*d\n", i2, i);
|
| 30 |
|
|
printf ("%*.*ld\n", i1, i2, l);
|
| 31 |
|
|
printf ("%d %lu\n", i, ul);
|
| 32 |
|
|
/* GCC has objected to the next one in the past, but it is a valid way
|
| 33 |
|
|
of specifying zero precision.
|
| 34 |
|
|
*/
|
| 35 |
|
|
printf ("%.e\n", d); /* { dg-bogus "precision" "bogus precision warning" } */
|
| 36 |
|
|
/* Bogus use of width. */
|
| 37 |
|
|
printf ("%5n\n", n); /* { dg-warning "width" "width with %n" } */
|
| 38 |
|
|
/* Erroneous, ignored or pointless constructs with precision. */
|
| 39 |
|
|
/* Whether negative values for precision may be included in the format
|
| 40 |
|
|
string is not entirely clear; presume not, following Clive Feather's
|
| 41 |
|
|
proposed resolution to DR#220 against C99. In any case, such a
|
| 42 |
|
|
construct should be warned about.
|
| 43 |
|
|
*/
|
| 44 |
|
|
printf ("%.-5d\n", i); /* { dg-warning "format|precision" "negative precision warning" } */
|
| 45 |
|
|
printf ("%.-*d\n", i); /* { dg-warning "format" "broken %.-*d format" } */
|
| 46 |
|
|
printf ("%.3c\n", i); /* { dg-warning "precision" "precision with %c" } */
|
| 47 |
|
|
printf ("%.3p\n", p); /* { dg-warning "precision" "precision with %p" } */
|
| 48 |
|
|
printf ("%.3n\n", n); /* { dg-warning "precision" "precision with %n" } */
|
| 49 |
|
|
/* Valid and invalid %% constructions. Some of the warning messages
|
| 50 |
|
|
are non-optimal, but they do detect the errorneous nature of the
|
| 51 |
|
|
format string.
|
| 52 |
|
|
*/
|
| 53 |
|
|
printf ("%%");
|
| 54 |
|
|
printf ("%.3%"); /* { dg-warning "format" "bogus %%" } */
|
| 55 |
|
|
printf ("%-%"); /* { dg-warning "format" "bogus %%" } */
|
| 56 |
|
|
printf ("%-%\n"); /* { dg-warning "format" "bogus %%" } */
|
| 57 |
|
|
printf ("%5%\n"); /* { dg-warning "format" "bogus %%" } */
|
| 58 |
|
|
printf ("%h%\n"); /* { dg-warning "format" "bogus %%" } */
|
| 59 |
|
|
/* Valid and invalid %h, %l, %L constructions. */
|
| 60 |
|
|
printf ("%hd", i);
|
| 61 |
|
|
printf ("%hi", i);
|
| 62 |
|
|
/* Strictly, these parameters should be int or unsigned int according to
|
| 63 |
|
|
what unsigned short promotes to. However, GCC ignores sign
|
| 64 |
|
|
differences in format checking here, and this is relied on to get the
|
| 65 |
|
|
correct checking without print_char_table needing to know whether
|
| 66 |
|
|
int and short are the same size.
|
| 67 |
|
|
*/
|
| 68 |
|
|
printf ("%ho%hu%hx%hX", u, u, u, u);
|
| 69 |
|
|
printf ("%hn", hn);
|
| 70 |
|
|
printf ("%hf", d); /* { dg-warning "length" "bad use of %h" } */
|
| 71 |
|
|
printf ("%he", d); /* { dg-warning "length" "bad use of %h" } */
|
| 72 |
|
|
printf ("%hE", d); /* { dg-warning "length" "bad use of %h" } */
|
| 73 |
|
|
printf ("%hg", d); /* { dg-warning "length" "bad use of %h" } */
|
| 74 |
|
|
printf ("%hG", d); /* { dg-warning "length" "bad use of %h" } */
|
| 75 |
|
|
printf ("%hc", i); /* { dg-warning "length" "bad use of %h" } */
|
| 76 |
|
|
printf ("%hs", s); /* { dg-warning "length" "bad use of %h" } */
|
| 77 |
|
|
printf ("%hp", p); /* { dg-warning "length" "bad use of %h" } */
|
| 78 |
|
|
printf ("%h"); /* { dg-warning "conversion lacks type" "bare %h" } */
|
| 79 |
|
|
printf ("%h."); /* { dg-warning "conversion" "bogus %h." } */
|
| 80 |
|
|
printf ("%ld%li%lo%lu%lx%lX", l, l, ul, ul, ul, ul);
|
| 81 |
|
|
printf ("%ln", ln);
|
| 82 |
|
|
printf ("%lf", d); /* { dg-warning "length|C" "bad use of %l" } */
|
| 83 |
|
|
printf ("%le", d); /* { dg-warning "length|C" "bad use of %l" } */
|
| 84 |
|
|
printf ("%lE", d); /* { dg-warning "length|C" "bad use of %l" } */
|
| 85 |
|
|
printf ("%lg", d); /* { dg-warning "length|C" "bad use of %l" } */
|
| 86 |
|
|
printf ("%lG", d); /* { dg-warning "length|C" "bad use of %l" } */
|
| 87 |
|
|
printf ("%lp", p); /* { dg-warning "length|C" "bad use of %l" } */
|
| 88 |
|
|
/* These next two were added in C94, but should be objected to in C90.
|
| 89 |
|
|
For the first one, GCC has wanted wchar_t instead of the correct C94
|
| 90 |
|
|
and C99 wint_t.
|
| 91 |
|
|
*/
|
| 92 |
|
|
printf ("%lc", lc); /* { dg-warning "length|C" "C90 bad use of %l" } */
|
| 93 |
|
|
printf ("%ls", ls); /* { dg-warning "length|C" "C90 bad use of %l" } */
|
| 94 |
|
|
/* These uses of %L are legitimate, though GCC has wrongly warned for
|
| 95 |
|
|
them in the past.
|
| 96 |
|
|
*/
|
| 97 |
|
|
printf ("%Le%LE%Lf%Lg%LG", ld, ld, ld, ld, ld);
|
| 98 |
|
|
/* These next six are accepted by GCC as referring to long long,
|
| 99 |
|
|
but -pedantic correctly warns.
|
| 100 |
|
|
*/
|
| 101 |
|
|
printf ("%Ld", ll); /* { dg-warning "does not support" "bad use of %L" } */
|
| 102 |
|
|
printf ("%Li", ll); /* { dg-warning "does not support" "bad use of %L" } */
|
| 103 |
|
|
printf ("%Lo", ull); /* { dg-warning "does not support" "bad use of %L" } */
|
| 104 |
|
|
printf ("%Lu", ull); /* { dg-warning "does not support" "bad use of %L" } */
|
| 105 |
|
|
printf ("%Lx", ull); /* { dg-warning "does not support" "bad use of %L" } */
|
| 106 |
|
|
printf ("%LX", ull); /* { dg-warning "does not support" "bad use of %L" } */
|
| 107 |
|
|
printf ("%Lc", i); /* { dg-warning "length" "bad use of %L" } */
|
| 108 |
|
|
printf ("%Ls", s); /* { dg-warning "length" "bad use of %L" } */
|
| 109 |
|
|
printf ("%Lp", p); /* { dg-warning "length" "bad use of %L" } */
|
| 110 |
|
|
printf ("%Ln", n); /* { dg-warning "length" "bad use of %L" } */
|
| 111 |
|
|
/* Valid uses of each bare conversion. */
|
| 112 |
|
|
printf ("%d%i%o%u%x%X%f%e%E%g%G%c%s%p%n%%", i, i, u, u, u, u, d, d, d, d, d,
|
| 113 |
|
|
i, s, p, n);
|
| 114 |
|
|
/* Uses of the - flag (valid on all non-%, non-n conversions). */
|
| 115 |
|
|
printf ("%-d%-i%-o%-u%-x%-X%-f%-e%-E%-g%-G%-c%-s%-p", i, i, u, u, u, u,
|
| 116 |
|
|
d, d, d, d, d, i, s, p);
|
| 117 |
|
|
printf ("%-n", n); /* { dg-warning "flag" "bad use of %-n" } */
|
| 118 |
|
|
/* Uses of the + flag (valid on signed conversions only). */
|
| 119 |
|
|
printf ("%+d%+i%+f%+e%+E%+g%+G\n", i, i, d, d, d, d, d);
|
| 120 |
|
|
printf ("%+o", u); /* { dg-warning "flag" "bad use of + flag" } */
|
| 121 |
|
|
printf ("%+u", u); /* { dg-warning "flag" "bad use of + flag" } */
|
| 122 |
|
|
printf ("%+x", u); /* { dg-warning "flag" "bad use of + flag" } */
|
| 123 |
|
|
printf ("%+X", u); /* { dg-warning "flag" "bad use of + flag" } */
|
| 124 |
|
|
printf ("%+c", i); /* { dg-warning "flag" "bad use of + flag" } */
|
| 125 |
|
|
printf ("%+s", s); /* { dg-warning "flag" "bad use of + flag" } */
|
| 126 |
|
|
printf ("%+p", p); /* { dg-warning "flag" "bad use of + flag" } */
|
| 127 |
|
|
printf ("%+n", n); /* { dg-warning "flag" "bad use of + flag" } */
|
| 128 |
|
|
/* Uses of the space flag (valid on signed conversions only, and ignored
|
| 129 |
|
|
with +).
|
| 130 |
|
|
*/
|
| 131 |
|
|
printf ("% +d", i); /* { dg-warning "use of both|ignored" "use of space and + flags" } */
|
| 132 |
|
|
printf ("%+ d", i); /* { dg-warning "use of both|ignored" "use of space and + flags" } */
|
| 133 |
|
|
printf ("% d% i% f% e% E% g% G\n", i, i, d, d, d, d, d);
|
| 134 |
|
|
printf ("% o", u); /* { dg-warning "flag" "bad use of space flag" } */
|
| 135 |
|
|
printf ("% u", u); /* { dg-warning "flag" "bad use of space flag" } */
|
| 136 |
|
|
printf ("% x", u); /* { dg-warning "flag" "bad use of space flag" } */
|
| 137 |
|
|
printf ("% X", u); /* { dg-warning "flag" "bad use of space flag" } */
|
| 138 |
|
|
printf ("% c", i); /* { dg-warning "flag" "bad use of space flag" } */
|
| 139 |
|
|
printf ("% s", s); /* { dg-warning "flag" "bad use of space flag" } */
|
| 140 |
|
|
printf ("% p", p); /* { dg-warning "flag" "bad use of space flag" } */
|
| 141 |
|
|
printf ("% n", n); /* { dg-warning "flag" "bad use of space flag" } */
|
| 142 |
|
|
/* Uses of the # flag. */
|
| 143 |
|
|
printf ("%#o%#x%#X%#e%#E%#f%#g%#G", u, u, u, d, d, d, d, d);
|
| 144 |
|
|
printf ("%#d", i); /* { dg-warning "flag" "bad use of # flag" } */
|
| 145 |
|
|
printf ("%#i", i); /* { dg-warning "flag" "bad use of # flag" } */
|
| 146 |
|
|
printf ("%#u", u); /* { dg-warning "flag" "bad use of # flag" } */
|
| 147 |
|
|
printf ("%#c", i); /* { dg-warning "flag" "bad use of # flag" } */
|
| 148 |
|
|
printf ("%#s", s); /* { dg-warning "flag" "bad use of # flag" } */
|
| 149 |
|
|
printf ("%#p", p); /* { dg-warning "flag" "bad use of # flag" } */
|
| 150 |
|
|
printf ("%#n", n); /* { dg-warning "flag" "bad use of # flag" } */
|
| 151 |
|
|
/* Uses of the 0 flag. */
|
| 152 |
|
|
printf ("%08d%08i%08o%08u%08x%08X%08e%08E%08f%08g%08G", i, i, u, u, u, u,
|
| 153 |
|
|
d, d, d, d, d);
|
| 154 |
|
|
printf ("%0c", i); /* { dg-warning "flag" "bad use of 0 flag" } */
|
| 155 |
|
|
printf ("%0s", s); /* { dg-warning "flag" "bad use of 0 flag" } */
|
| 156 |
|
|
printf ("%0p", p); /* { dg-warning "flag" "bad use of 0 flag" } */
|
| 157 |
|
|
printf ("%0n", n); /* { dg-warning "flag" "bad use of 0 flag" } */
|
| 158 |
|
|
/* 0 flag ignored with precision for certain types, not others. */
|
| 159 |
|
|
printf ("%08.5d", i); /* { dg-warning "ignored" "0 flag ignored with precision" } */
|
| 160 |
|
|
printf ("%08.5i", i); /* { dg-warning "ignored" "0 flag ignored with precision" } */
|
| 161 |
|
|
printf ("%08.5o", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
|
| 162 |
|
|
printf ("%08.5u", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
|
| 163 |
|
|
printf ("%08.5x", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
|
| 164 |
|
|
printf ("%08.5X", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */
|
| 165 |
|
|
printf ("%08.5f%08.5e%08.5E%08.5g%08.5G", d, d, d, d, d);
|
| 166 |
|
|
/* 0 flag ignored with - flag. */
|
| 167 |
|
|
printf ("%-08d", i); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 168 |
|
|
printf ("%-08i", i); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 169 |
|
|
printf ("%-08o", u); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 170 |
|
|
printf ("%-08u", u); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 171 |
|
|
printf ("%-08x", u); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 172 |
|
|
printf ("%-08X", u); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 173 |
|
|
printf ("%-08e", d); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 174 |
|
|
printf ("%-08E", d); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 175 |
|
|
printf ("%-08f", d); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 176 |
|
|
printf ("%-08g", d); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 177 |
|
|
printf ("%-08G", d); /* { dg-warning "flags|ignored" "0 flag ignored with - flag" } */
|
| 178 |
|
|
/* Various tests of bad argument types. */
|
| 179 |
|
|
printf ("%d", l); /* { dg-warning "format" "bad argument types" } */
|
| 180 |
|
|
printf ("%*.*d", l, i2, i); /* { dg-warning "field" "bad * argument types" } */
|
| 181 |
|
|
printf ("%*.*d", i1, l, i); /* { dg-warning "field" "bad * argument types" } */
|
| 182 |
|
|
printf ("%ld", i); /* { dg-warning "format" "bad argument types" } */
|
| 183 |
|
|
printf ("%s", n); /* { dg-warning "format" "bad argument types" } */
|
| 184 |
|
|
printf ("%p", i); /* { dg-warning "format" "bad argument types" } */
|
| 185 |
|
|
printf ("%n", p); /* { dg-warning "format" "bad argument types" } */
|
| 186 |
|
|
/* With -pedantic, we want some further checks for pointer targets:
|
| 187 |
|
|
%p should allow only pointers to void (possibly qualified) and
|
| 188 |
|
|
to character types (possibly qualified), but not function pointers
|
| 189 |
|
|
or pointers to other types. (Whether, in fact, character types are
|
| 190 |
|
|
allowed here is unclear; see thread on comp.std.c, July 2000 for
|
| 191 |
|
|
discussion of the requirements of rules on identical representation,
|
| 192 |
|
|
and of the application of the as if rule with the new va_arg
|
| 193 |
|
|
allowances in C99 to printf.) Likewise, we should warn if
|
| 194 |
|
|
pointer targets differ in signedness, except in some circumstances
|
| 195 |
|
|
for character pointers. (In C99 we should consider warning for
|
| 196 |
|
|
char * or unsigned char * being passed to %hhn, even if strictly
|
| 197 |
|
|
legitimate by the standard.)
|
| 198 |
|
|
*/
|
| 199 |
|
|
printf ("%p", foo); /* { dg-warning "format" "bad argument types" } */
|
| 200 |
|
|
printf ("%n", un); /* { dg-warning "format" "bad argument types" } */
|
| 201 |
|
|
printf ("%p", n); /* { dg-warning "format" "bad argument types" } */
|
| 202 |
|
|
/* Allow character pointers with %p. */
|
| 203 |
|
|
printf ("%p%p%p%p", s, ss, us, css);
|
| 204 |
|
|
/* %s allows any character type. */
|
| 205 |
|
|
printf ("%s%s%s%s", s, ss, us, css);
|
| 206 |
|
|
/* Warning for void * arguments for %s is GCC's historical behavior,
|
| 207 |
|
|
and seems useful to keep, even if some standard versions might be
|
| 208 |
|
|
read to permit it.
|
| 209 |
|
|
*/
|
| 210 |
|
|
printf ("%s", p); /* { dg-warning "format" "bad argument types" } */
|
| 211 |
|
|
/* The historical behavior is to allow signed / unsigned types
|
| 212 |
|
|
interchangably as arguments. For values representable in both types,
|
| 213 |
|
|
such usage may be correct. For now preserve the behavior of GCC
|
| 214 |
|
|
in such cases.
|
| 215 |
|
|
*/
|
| 216 |
|
|
printf ("%d", u);
|
| 217 |
|
|
/* Also allow the same for width and precision arguments. In the past,
|
| 218 |
|
|
GCC has been inconsistent and allowed unsigned for width but not
|
| 219 |
|
|
precision.
|
| 220 |
|
|
*/
|
| 221 |
|
|
printf ("%*.*d", u1, u2, i);
|
| 222 |
|
|
/* Wrong number of arguments. */
|
| 223 |
|
|
printf ("%d%d", i); /* { dg-warning "arguments" "wrong number of args" } */
|
| 224 |
|
|
printf ("%d", i, i); /* { dg-warning "arguments" "wrong number of args" } */
|
| 225 |
|
|
/* Miscellaneous bogus constructions. */
|
| 226 |
|
|
printf (""); /* { dg-warning "zero-length" "warning for empty format" } */
|
| 227 |
|
|
printf ("\0"); /* { dg-warning "embedded" "warning for embedded NUL" } */
|
| 228 |
|
|
printf ("%d\0", i); /* { dg-warning "embedded" "warning for embedded NUL" } */
|
| 229 |
|
|
printf ("%d\0%d", i, i); /* { dg-warning "embedded|too many" "warning for embedded NUL" } */
|
| 230 |
|
|
printf (NULL); /* { dg-warning "null" "null format string warning" } */
|
| 231 |
|
|
printf ("%"); /* { dg-warning "trailing" "trailing % warning" } */
|
| 232 |
|
|
printf ("%++d", i); /* { dg-warning "repeated" "repeated flag warning" } */
|
| 233 |
|
|
printf ("%n", cn); /* { dg-warning "constant" "%n with const" } */
|
| 234 |
|
|
printf ((const char *)L"foo"); /* { dg-warning "wide" "wide string" } */
|
| 235 |
|
|
printf ("%n", (int *)0); /* { dg-warning "null" "%n with NULL" } */
|
| 236 |
|
|
printf ("%s", (char *)0); /* { dg-warning "null" "%s with NULL" } */
|
| 237 |
|
|
}
|
