gcc/testsuite/gcc.dg/format/gcc_diag-1.c

   1 /* Test for GCC diagnositc formats.  */
   2 /* Origin: Kaveh Ghazi <ghazi@caip.rutgers.edu> */
   3 /* { dg-do compile } */
   4 /* { dg-options "-Wformat" } */
   5
   6 #include "format.h"
   7
   8 #define ATTRIBUTE_DIAG(F) __attribute__ ((__format__ (F, 1, 2))) __attribute__ ((__nonnull__));
   9
  10 /* Magic identifiers must be set before the attribute is used.  */
  11
  12 typedef long long __gcc_host_wide_int__;
  13
  14 typedef struct location_s
  15 {
  16   const char *file;
  17   int line;
  18 } location_t;
  19
  20 union tree_node;
  21 typedef union tree_node *tree;
  22
  23 extern int diag (const char *, ...) ATTRIBUTE_DIAG(__gcc_diag__);
  24 extern int tdiag (const char *, ...) ATTRIBUTE_DIAG(__gcc_tdiag__);
  25 extern int cdiag (const char *, ...) ATTRIBUTE_DIAG(__gcc_cdiag__);
  26 extern int cxxdiag (const char *, ...) ATTRIBUTE_DIAG(__gcc_cxxdiag__);
  27
  28 void
  29 foo (int i, int i1, int i2, unsigned int u, double d, char *s, void *p,
  30      int *n, short int *hn, long int l, unsigned long int ul,
  31      long int *ln, long double ld, wint_t lc, wchar_t *ls, llong ll,
  32      ullong ull, unsigned int *un, const int *cn, signed char *ss,
  33      unsigned char *us, const signed char *css, unsigned int u1,
  34      unsigned int u2, location_t *loc, tree t1, union tree_node *t2,
  35      tree *t3, tree t4[])
  36 {
  37   /* Acceptable C90 specifiers, flags and modifiers.  */
  38   diag ("%%");
  39   tdiag ("%%");
  40   cdiag ("%%");
  41   cxxdiag ("%%");
  42   diag ("%d%i%o%u%x%c%s%p%%", i, i, u, u, u, i, s, p);
  43   tdiag ("%d%i%o%u%x%c%s%p%%", i, i, u, u, u, i, s, p);
  44   cdiag ("%d%i%o%u%x%c%s%p%%", i, i, u, u, u, i, s, p);
  45   cxxdiag ("%d%i%o%u%x%c%s%p%%", i, i, u, u, u, i, s, p);
  46   diag ("%qd%qi%qo%qu%qx%qc%qs%qp%<%%%'%>", i, i, u, u, u, i, s, p);
  47   tdiag ("%qd%qi%qo%qu%qx%qc%qs%qp%<%%%'%>", i, i, u, u, u, i, s, p);
  48   cdiag ("%qd%qi%qo%qu%qx%qc%qs%qp%<%%%'%>", i, i, u, u, u, i, s, p);
  49   cxxdiag ("%qd%qi%qo%qu%qx%qc%qs%qp%<%%%'%>", i, i, u, u, u, i, s, p);
  50   diag ("%ld%li%lo%lu%lx", l, l, ul, ul, ul);
  51   tdiag ("%ld%li%lo%lu%lx", l, l, ul, ul, ul);
  52   cdiag ("%ld%li%lo%lu%lx", l, l, ul, ul, ul);
  53   cxxdiag ("%ld%li%lo%lu%lx", l, l, ul, ul, ul);
  54   diag ("%lld%lli%llo%llu%llx", ll, ll, ull, ull, ull);
  55   tdiag ("%lld%lli%llo%llu%llx", ll, ll, ull, ull, ull);
  56   cdiag ("%lld%lli%llo%llu%llx", ll, ll, ull, ull, ull);
  57   cxxdiag ("%lld%lli%llo%llu%llx", ll, ll, ull, ull, ull);
  58   diag ("%wd%wi%wo%wu%wx", ll, ll, ull, ull, ull);
  59   tdiag ("%wd%wi%wo%wu%wx", ll, ll, ull, ull, ull);
  60   cdiag ("%wd%wi%wo%wu%wx", ll, ll, ull, ull, ull);
  61   cxxdiag ("%wd%wi%wo%wu%wx", ll, ll, ull, ull, ull);
  62   diag ("%.*s", i, s);
  63   tdiag ("%.*s", i, s);
  64   cdiag ("%.*s", i, s);
  65   cxxdiag ("%.*s", i, s);
  66
  67   /* Extensions provided in the diagnostic framework.  */
  68   diag ("%m");
  69   tdiag ("%m");
  70   cdiag ("%m");
  71   cxxdiag ("%m");
  72   diag ("%H", loc);
  73   tdiag ("%H", loc);
  74   cdiag ("%H", loc);
  75   cxxdiag ("%H", loc);
  76   diag ("%J", t1);
  77   tdiag ("%J", t1);
  78   cdiag ("%J", t1);
  79   cxxdiag ("%J", t1);
  80
  81   tdiag ("%D%F%T", t1, t1, t1);
  82   tdiag ("%+D%+F%+T", t1, t1, t1);
  83   tdiag ("%q+D%q+F%q+T", t1, t1, t1);
  84   tdiag ("%D%D%D%D", t1, t2, *t3, t4[5]);
  85   cdiag ("%D%F%T", t1, t1, t1);
  86   cdiag ("%+D%+F%+T", t1, t1, t1);
  87   cdiag ("%q+D%q+F%q+T", t1, t1, t1);
  88   cdiag ("%D%D%D%D", t1, t2, *t3, t4[5]);
  89   cdiag ("%E", t1);
  90   cxxdiag ("%A%D%E%F%T%V", t1, t1, t1, t1, t1, t1);
  91   cxxdiag ("%D%D%D%D", t1, t2, *t3, t4[5]);
  92   cxxdiag ("%#A%#D%#E%#F%#T%#V", t1, t1, t1, t1, t1, t1);
  93   cxxdiag ("%+A%+D%+E%+F%+T%+V", t1, t1, t1, t1, t1, t1);
  94   cxxdiag ("%+#A%+#D%+#E%+#F%+#T%+#V", t1, t1, t1, t1, t1, t1);
  95   cxxdiag ("%C%L%O%P%Q", i, i, i, i, i);
  96
  97   /* Bad stuff with extensions.  */
  98   diag ("%m", i); /* { dg-warning "format" "extra arg" } */
  99   tdiag ("%m", i); /* { dg-warning "format" "extra arg" } */
 100   cdiag ("%m", i); /* { dg-warning "format" "extra arg" } */
 101   cxxdiag ("%m", i); /* { dg-warning "format" "extra arg" } */
 102   diag ("%#m"); /* { dg-warning "format" "bogus modifier" } */
 103   tdiag ("%#m"); /* { dg-warning "format" "bogus modifier" } */
 104   cdiag ("%#m"); /* { dg-warning "format" "bogus modifier" } */
 105   cxxdiag ("%#m"); /* { dg-warning "format" "bogus modifier" } */
 106   diag ("%+m"); /* { dg-warning "format" "bogus modifier" } */
 107   tdiag ("%+m"); /* { dg-warning "format" "bogus modifier" } */
 108   cdiag ("%+m"); /* { dg-warning "format" "bogus modifier" } */
 109   cxxdiag ("%+m"); /* { dg-warning "format" "bogus modifier" } */
 110   diag ("%H"); /* { dg-warning "format" "missing arg" } */
 111   tdiag ("%H"); /* { dg-warning "format" "missing arg" } */
 112   cdiag ("%H"); /* { dg-warning "format" "missing arg" } */
 113   cxxdiag ("%H"); /* { dg-warning "format" "missing arg" } */
 114   diag ("%J"); /* { dg-warning "format" "missing arg" } */
 115   tdiag ("%J"); /* { dg-warning "format" "missing arg" } */
 116   cdiag ("%J"); /* { dg-warning "format" "missing arg" } */
 117   cxxdiag ("%J"); /* { dg-warning "format" "missing arg" } */
 118   diag ("%H", i); /* { dg-warning "format" "wrong arg" } */
 119   tdiag ("%H", i); /* { dg-warning "format" "wrong arg" } */
 120   cdiag ("%H", i); /* { dg-warning "format" "wrong arg" } */
 121   cxxdiag ("%H", i); /* { dg-warning "format" "wrong arg" } */
 122   diag ("%H", p); /* { dg-warning "format" "wrong arg" } */
 123   tdiag ("%H", p); /* { dg-warning "format" "wrong arg" } */
 124   cdiag ("%H", p); /* { dg-warning "format" "wrong arg" } */
 125   cxxdiag ("%H", p); /* { dg-warning "format" "wrong arg" } */
 126   diag ("%J", loc); /* { dg-warning "format" "wrong arg" } */
 127   tdiag ("%J", loc); /* { dg-warning "format" "wrong arg" } */
 128   cdiag ("%J", loc); /* { dg-warning "format" "wrong arg" } */
 129   cxxdiag ("%J", loc); /* { dg-warning "format" "wrong arg" } */
 130   diag ("%#H", loc); /* { dg-warning "format" "bogus modifier" } */
 131   tdiag ("%#H", loc); /* { dg-warning "format" "bogus modifier" } */
 132   cdiag ("%#H", loc); /* { dg-warning "format" "bogus modifier" } */
 133   cxxdiag ("%#H", loc); /* { dg-warning "format" "bogus modifier" } */
 134   diag ("%+H", loc); /* { dg-warning "format" "bogus modifier" } */
 135   tdiag ("%+H", loc); /* { dg-warning "format" "bogus modifier" } */
 136   cdiag ("%+H", loc); /* { dg-warning "format" "bogus modifier" } */
 137   cxxdiag ("%+H", loc); /* { dg-warning "format" "bogus modifier" } */
 138   diag ("%D", t1); /* { dg-warning "format" "bogus tree" } */
 139   tdiag ("%A", t1); /* { dg-warning "format" "bogus tree" } */
 140   tdiag ("%E", t1);
 141   tdiag ("%#D", t1); /* { dg-warning "format" "bogus modifier" } */
 142   cdiag ("%A", t1); /* { dg-warning "format" "bogus tree" } */
 143   cdiag ("%#D", t1); /* { dg-warning "format" "bogus modifier" } */
 144   cdiag ("%+D", t1);
 145   cxxdiag ("%C"); /* { dg-warning "format" "missing arg" } */
 146   cxxdiag ("%C", l); /* { dg-warning "format" "wrong arg" } */
 147   cxxdiag ("%C", i, i); /* { dg-warning "format" "extra arg" } */
 148   cxxdiag ("%#C", i); /* { dg-warning "format" "bogus modifier" } */
 149   cxxdiag ("%+C", i); /* { dg-warning "format" "bogus modifier" } */
 150   tdiag ("%D"); /* { dg-warning "format" "missing arg" } */
 151   cdiag ("%D"); /* { dg-warning "format" "missing arg" } */
 152   cxxdiag ("%D"); /* { dg-warning "format" "missing arg" } */
 153   tdiag ("%D", i); /* { dg-warning "format" "wrong arg" } */
 154   cdiag ("%D", i); /* { dg-warning "format" "wrong arg" } */
 155   cxxdiag ("%D", i); /* { dg-warning "format" "wrong arg" } */
 156   tdiag ("%D", t1, t1); /* { dg-warning "format" "extra arg" } */
 157   cdiag ("%D", t1, t1); /* { dg-warning "format" "extra arg" } */
 158   cxxdiag ("%D", t1, t1); /* { dg-warning "format" "extra arg" } */
 159
 160   /* Standard specifiers not accepted in the diagnostic framework.  */
 161   diag ("%X\n", u); /* { dg-warning "format" "HEX" } */
 162   diag ("%f\n", d); /* { dg-warning "format" "float" } */
 163   diag ("%e\n", d); /* { dg-warning "format" "float" } */
 164   diag ("%E\n", d); /* { dg-warning "format" "float" } */
 165   diag ("%g\n", d); /* { dg-warning "format" "float" } */
 166   diag ("%G\n", d); /* { dg-warning "format" "float" } */
 167   diag ("%n\n", n); /* { dg-warning "format" "counter" } */
 168   diag ("%hd\n", i); /* { dg-warning "format" "conversion" } */
 169
 170   /* Various tests of bad argument types.  */
 171   diag ("%-d", i); /* { dg-warning "format" "bad flag" } */
 172   tdiag ("%-d", i); /* { dg-warning "format" "bad flag" } */
 173   cdiag ("%-d", i); /* { dg-warning "format" "bad flag" } */
 174   cxxdiag ("%-d", i); /* { dg-warning "format" "bad flag" } */
 175   diag ("% d", i); /* { dg-warning "format" "bad flag" } */
 176   tdiag ("% d", i); /* { dg-warning "format" "bad flag" } */
 177   cdiag ("% d", i); /* { dg-warning "format" "bad flag" } */
 178   cxxdiag ("% d", i); /* { dg-warning "format" "bad flag" } */
 179   diag ("%#o", u); /* { dg-warning "format" "bad flag" } */
 180   tdiag ("%#o", u); /* { dg-warning "format" "bad flag" } */
 181   cdiag ("%#o", u); /* { dg-warning "format" "bad flag" } */
 182   cxxdiag ("%#o", u); /* { dg-warning "format" "bad flag" } */
 183   diag ("%0d", i); /* { dg-warning "format" "bad flag" } */
 184   tdiag ("%0d", i); /* { dg-warning "format" "bad flag" } */
 185   cdiag ("%0d", i); /* { dg-warning "format" "bad flag" } */
 186   cxxdiag ("%0d", i); /* { dg-warning "format" "bad flag" } */
 187   diag ("%08d", i); /* { dg-warning "format" "bad flag" } */
 188   tdiag ("%08d", i); /* { dg-warning "format" "bad flag" } */
 189   cdiag ("%08d", i); /* { dg-warning "format" "bad flag" } */
 190   cxxdiag ("%08d", i); /* { dg-warning "format" "bad flag" } */
 191   diag ("%+d\n", i); /* { dg-warning "format" "bad flag" } */
 192   tdiag ("%+d\n", i); /* { dg-warning "format" "bad flag" } */
 193   cdiag ("%+d\n", i); /* { dg-warning "format" "bad flag" } */
 194   cxxdiag ("%+d\n", i); /* { dg-warning "format" "bad flag" } */
 195   diag ("%3d\n", i); /* { dg-warning "format" "bad flag" } */
 196   tdiag ("%3d\n", i); /* { dg-warning "format" "bad flag" } */
 197   cdiag ("%3d\n", i); /* { dg-warning "format" "bad flag" } */
 198   cxxdiag ("%3d\n", i); /* { dg-warning "format" "bad flag" } */
 199   diag ("%-3d\n", i); /* { dg-warning "format" "bad flag" } */
 200   tdiag ("%-3d\n", i); /* { dg-warning "format" "bad flag" } */
 201   cdiag ("%-3d\n", i); /* { dg-warning "format" "bad flag" } */
 202   cxxdiag ("%-3d\n", i); /* { dg-warning "format" "bad flag" } */
 203   diag ("%.7d\n", i); /* { dg-warning "format" "bad flag" } */
 204   tdiag ("%.7d\n", i); /* { dg-warning "format" "bad flag" } */
 205   cdiag ("%.7d\n", i); /* { dg-warning "format" "bad flag" } */
 206   cxxdiag ("%.7d\n", i); /* { dg-warning "format" "bad flag" } */
 207   diag ("%+9.4d\n", i); /* { dg-warning "format" "bad flag" } */
 208   tdiag ("%+9.4d\n", i); /* { dg-warning "format" "bad flag" } */
 209   cdiag ("%+9.4d\n", i); /* { dg-warning "format" "bad flag" } */
 210   cxxdiag ("%+9.4d\n", i); /* { dg-warning "format" "bad flag" } */
 211   diag ("%.3ld\n", l); /* { dg-warning "format" "bad flag" } */
 212   tdiag ("%.3ld\n", l); /* { dg-warning "format" "bad flag" } */
 213   cdiag ("%.3ld\n", l); /* { dg-warning "format" "bad flag" } */
 214   cxxdiag ("%.3ld\n", l); /* { dg-warning "format" "bad flag" } */
 215   diag ("%d %lu\n", i, ul);
 216   diag ("%d", l); /* { dg-warning "format" "bad argument types" } */
 217   diag ("%wd", l); /* { dg-warning "format" "bad argument types" } */
 218   diag ("%d", ll); /* { dg-warning "format" "bad argument types" } */
 219   diag ("%*s", i, s); /* { dg-warning "format" "bad * argument types" } */
 220   diag ("%*.*s", i, i, s); /* { dg-warning "format" "bad * argument types" } */
 221   diag ("%*d\n", i1, i); /* { dg-warning "format" "bad * argument types" } */
 222   diag ("%.*d\n", i2, i); /* { dg-warning "format" "bad * argument types" } */
 223   diag ("%*.*ld\n", i1, i2, l); /* { dg-warning "format" "bad * argument types" } */
 224   diag ("%ld", i); /* { dg-warning "format" "bad argument types" } */
 225   diag ("%s", n); /* { dg-warning "format" "bad argument types" } */
 226
 227   /* Wrong number of arguments.  */
 228   diag ("%d%d", i); /* { dg-warning "arguments" "wrong number of args" } */
 229   diag ("%d", i, i); /* { dg-warning "arguments" "wrong number of args" } */
 230   /* Miscellaneous bogus constructions.  */
 231   diag (""); /* { dg-warning "zero-length" "warning for empty format" } */
 232   diag ("\0"); /* { dg-warning "embedded" "warning for embedded NUL" } */
 233   diag ("%d\0", i); /* { dg-warning "embedded" "warning for embedded NUL" } */
 234   diag ("%d\0%d", i, i); /* { dg-warning "embedded|too many" "warning for embedded NUL" } */
 235   diag (NULL); /* { dg-warning "null" "null format string warning" } */
 236   diag ("%"); /* { dg-warning "trailing" "trailing % warning" } */
 237   diag ((const char *)L"foo"); /* { dg-warning "wide" "wide string" } */
 238   diag ("%s", (char *)0); /* { dg-warning "null" "%s with NULL" } */
 239
 240   /* Make sure we still get warnings for regular printf.  */
 241   printf ("%d\n", ll); /* { dg-warning "format" "bad argument types" } */
 242 }