gcc/testsuite/gcc.dg/c99-printf-1.c

   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.
   4 */
   5 /* Origin: Joseph Myers <jsm28@cam.ac.uk> */
   6 /* { dg-do compile } */
   7 /* { dg-options "-std=iso9899:1999 -pedantic -Wformat" } */
   8
   9 typedef __WCHAR_TYPE__ wchar_t;
  10 typedef __WINT_TYPE__ wint_t;
  11 typedef __SIZE_TYPE__ size_t;
  12 typedef __PTRDIFF_TYPE__ ptrdiff_t;
  13
  14 /* Kludge to get signed type corresponding to size_t.  */
  15 #define unsigned signed
  16 typedef __SIZE_TYPE__ signed_size_t;
  17 #undef unsigned
  18
  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.
  23 */
  24 typedef long long int intmax_t;
  25 typedef unsigned long long int uintmax_t;
  26
  27 extern int printf (const char *, ...);
  28
  29 #define NULL ((void *)0)
  30
  31 void
  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)
  38 {
  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.
  42   */
  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);
  56   printf ("%hhn", ss);
  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" } */
  68   printf ("%lc", lc);
  69   printf ("%ls", ls);
  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);
  73   printf ("%lln", lln);
  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);
  99   printf ("%zn", zn);
 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);
 112   printf ("%tn", tn);
 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.
 127   */
 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
 156      with +).
 157   */
 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,
 171           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 *.)
 214   */
 215   printf ("%hhn", s); /* { dg-warning "format" "%hhn plain char" } */
 216   printf ("%hhn", us); /* { dg-warning "format" "%hhn unsigned char" } */
 217 }