gcc/testsuite/gcc.dg/tree-ssa/builtin-fprintf-warn-2.c

   1 /* PR middle-end/88993 - GCC 9 -Wformat-overflow=2 should reflect real
   2    libc limits
   3    Verify that -Wformat-overflow=2 "may exceed" warnings are not issued
   4    for printf family of functions.
   5    { dg-do compile }
   6    { dg-options "-O -Wformat -Wformat-overflow=2 -ftrack-macro-expansion=0" }
   7    { dg-require-effective-target int32plus } */
   8
   9 #define INT_MAX __INT_MAX__
  10
  11 typedef __SIZE_TYPE__ size_t;
  12
  13 #if !__cplusplus
  14 typedef __WCHAR_TYPE__ wchar_t;
  15 #endif
  16
  17 typedef struct FILE FILE;
  18
  19 FILE *fp;
  20
  21 #define T(...) __builtin_fprintf (__VA_ARGS__)
  22
  23 /* Exercise the "%c" directive with constant arguments.  */
  24
  25 void test_fprintf_c_const (int width)
  26 {
  27   /* Verify that a warning is only issued when the output is definitely
  28      exceeded but not when exceeding it is possible but not inevitable.
  29      Also verify that a note is printed with amount of output produced
  30      by the call (the result - 1).  */
  31   T (fp, "%2147483647c", '1');
  32   T (fp, "X%2147483647c", '2');   /* { dg-warning ".%2147483647c. directive output of \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
  33   /* { dg-message ".__builtin_fprintf. output 2147483649 bytes" "note" { target *-*-* } .-1 } */
  34   T (fp, "%2147483647cY", '3');   /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
  35
  36   T (fp, "%2147483648c", '1');    /* { dg-warning ".%2147483648c. directive output of 2147483648 bytes exceeds .INT_MAX." } */
  37   T (fp, "X%2147483649c", '2');   /* { dg-warning ".%2147483649c. directive output of 2147483649 bytes exceeds .INT_MAX." } */
  38   T (fp, "%2147483650cY", '3');   /* { dg-warning ".%2147483650c. directive output of 2147483650 bytes exceeds .INT_MAX." } */
  39
  40   T (fp, "%*c", INT_MAX, '1');
  41   T (fp, "X%*c", INT_MAX, '1');   /* { dg-warning ".%*c. directive output of \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
  42   T (fp, "%*cY", INT_MAX, '1');   /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
  43
  44   T (fp, "X%*c", INT_MAX - 1, '1');
  45   T (fp, "%*cY", INT_MAX - 1, '1');
  46
  47   T (fp, "%*cY", INT_MAX, '1');   /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
  48   T (fp, "X%*c", INT_MAX, '1');   /* { dg-warning ".%*c. directive output of \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
  49 }
  50
  51 /* Exercise the "%c" directive with arguments in a known range.  */
  52
  53 void test_fprintf_c_range (int width)
  54 {
  55   /* Verify that an known upper bound doesn't trigger a warning.  */
  56   if (width > INT_MAX - 1)
  57     width = INT_MAX - 1;
  58
  59   T (fp, "%*c", width, '1');
  60   T (fp, "X%*c", width, '1');
  61   T (fp, "%*cY", width, '1');
  62
  63   T (fp, "%*c", width, '1');
  64   T (fp, "X%*c", width, '1');
  65   T (fp, "%*cY", width, '1');
  66
  67   T (fp, "%*c%*c", width, '1', width, '2');
  68   T (fp, "X%*cY%*cZ", width, '1', width, '2');
  69
  70   /* Verify that a lower bound in excess of 4095 doesn't trigger
  71      a warning.  */
  72   if (width < 4096)
  73     width = 4096;
  74
  75   T (fp, "%*c", width, '1');
  76   T (fp, "X%*c", width, '1');
  77   T (fp, "%*cY", width, '1');
  78
  79   /* Verify that a large lower bound triggers a warning when the total
  80      result of the function definitely exceeds INT_MAX.  */
  81   if (width < INT_MAX - 1)
  82     width = INT_MAX - 1;
  83
  84   T (fp, "%*c", width, '1');
  85   T (fp, "X%*c", width, '2');
  86   T (fp, "%*cY", width, '3');
  87   T (fp, "X%*cY", width, '4');    /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
  88   /* { dg-message ".__builtin_fprintf. output 2147483649 bytes" "note" { target *-*-* } .-1 } */
  89 }
  90
  91
  92 /* Exercise the "%s" directive.  */
  93
  94 void test_fprintf_s_const (int width, const char *s)
  95 {
  96   T (fp, "%2147483647s", s);
  97   T (fp, "%2147483647s", "1");
  98
  99   T (fp, "%2147483647.2147483647s", s);
 100   T (fp, "%2147483647.2147483647s", "12");
 101
 102   T (fp, "X%2147483647s", s);     /* { dg-warning ".%2147483647s. directive output between 2147483647 and \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
 103   T (fp, "%2147483647sY", s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 104
 105   T (fp, "X%2147483647.1s", s);   /* { dg-warning ".%2147483647\\\.1s. directive output of 2147483647 bytes causes result to exceed .INT_MAX." } */
 106   T (fp, "%2147483647.2sY", s);   /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 107
 108   T (fp, "X%1.2147483647s", s);
 109   T (fp, "%2.2147483647sY", s);
 110
 111   T (fp, "X%1.2147483647s", "123");
 112   T (fp, "%2.2147483647sY", "1234");
 113
 114   T (fp, "%2147483648s", s);      /* { dg-warning "%2147483648s. directive output between 2147483648 and \[0-9\]+ bytes exceeds .INT_MAX." } */
 115   T (fp, "X%2147483649s", s);     /* { dg-warning "%2147483649s. directive output between 2147483649 and \[0-9\]+ bytes exceeds .INT_MAX." } */
 116   T (fp, "%2147483650sY", s);     /* { dg-warning ".%2147483650s. directive output between 2147483650 and \[0-9\]+ bytes exceeds .INT_MAX." } */
 117
 118   T (fp, "%*s", INT_MAX, s);
 119   T (fp, "X%*s", INT_MAX, s);     /* { dg-warning ".%\\\*s. directive output between 2147483647 and \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
 120   T (fp, "%*sY", INT_MAX, s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 121
 122   T (fp, "X%*s", INT_MAX - 1, s);
 123   T (fp, "%*sY", INT_MAX - 1, s);
 124
 125   T (fp, "%*sY", INT_MAX, s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 126   T (fp, "X%*s", INT_MAX, s);     /* { dg-warning ".%\\\*s. directive output between 2147483647 and \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
 127
 128   if (width > INT_MAX - 1)
 129     width = INT_MAX - 1;
 130
 131   T (fp, "%*s", width, s);
 132   T (fp, "X%*s", width, s);
 133   T (fp, "%*sY", width, s);
 134
 135   T (fp, "%*s", width, s);
 136   T (fp, "X%*s", width, s);
 137   T (fp, "%*sY", width, s);
 138
 139   T (fp, "%*s%*s", width, s, width, s);
 140   T (fp, "X%*sY%*sZ", width, s, width, s);
 141
 142   if (width < 4096)
 143     width = 4096;
 144
 145   T (fp, "%*s", width, s);
 146   T (fp, "X%*s", width, s);
 147   T (fp, "%*sY", width, s);
 148
 149   if (width < INT_MAX - 1)
 150     width = INT_MAX - 1;
 151
 152   T (fp, "%*s", width, s);
 153   T (fp, "X%*s", width, s);
 154   T (fp, "%*sY", width, s);
 155   T (fp, "X%*sY", width, s);      /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 156 }
 157
 158 /* Exercise the "%ls" directive.  */
 159
 160 void test_fprintf_ls_const (int width, const wchar_t *s)
 161 {
 162   T (fp, "%2147483647ls", s);
 163   T (fp, "X%2147483647ls", s);    /* { dg-warning ".%2147483647ls. directive output between 2147483647 and \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
 164   T (fp, "%2147483647lsY", s);    /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 165
 166   T (fp, "%2147483648ls", s);     /* { dg-warning "%2147483648ls. directive output between 2147483648 and \[0-9\]+ bytes exceeds .INT_MAX." } */
 167   T (fp, "X%2147483649ls", s);    /* { dg-warning "%2147483649ls. directive output between 2147483649 and \[0-9\]+ bytes exceeds .INT_MAX." } */
 168   T (fp, "%2147483650lsY", s);    /* { dg-warning ".%2147483650ls. directive output between 2147483650 and \[0-9\]+ bytes exceeds .INT_MAX." } */
 169
 170   T (fp, "%*ls", INT_MAX, s);
 171   T (fp, "X%*ls", INT_MAX, s);    /* { dg-warning ".%\\\*ls. directive output between 2147483647 and \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
 172   T (fp, "%*lsY", INT_MAX, s);    /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 173
 174   T (fp, "X%*ls", INT_MAX - 1, s);
 175   T (fp, "%*lsY", INT_MAX - 1, s);
 176
 177   T (fp, "%*lsY", INT_MAX, s);    /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 178   T (fp, "X%*ls", INT_MAX, s);     /* { dg-warning ".%\\\*ls. directive output between 2147483647 and \[0-9\]+ bytes causes result to exceed .INT_MAX." } */
 179
 180   if (width > INT_MAX - 1)
 181     width = INT_MAX - 1;
 182
 183   T (fp, "%*ls", width, s);
 184   T (fp, "X%*ls", width, s);
 185   T (fp, "%*lsY", width, s);
 186
 187   T (fp, "%*ls", width, s);
 188   T (fp, "X%*ls", width, s);
 189   T (fp, "%*lsY", width, s);
 190
 191   T (fp, "%*ls%*ls", width, s, width, s);
 192   T (fp, "X%*lsY%*lsZ", width, s, width, s);
 193
 194   if (width < 4096)
 195     width = 4096;
 196
 197   T (fp, "%*ls", width, s);
 198   T (fp, "X%*ls", width, s);
 199   T (fp, "%*lsY", width, s);
 200
 201   if (width < INT_MAX - 1)
 202     width = INT_MAX - 1;
 203
 204   T (fp, "%*ls", width, s);
 205   T (fp, "X%*ls", width, s);
 206   T (fp, "%*lsY", width, s);
 207   T (fp, "X%*lsY", width, s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 208 }
 209
 210
 211 /* Also exercise fprintf_chk.  */
 212
 213 #undef T
 214 #define T(...) __builtin___fprintf_chk (__VA_ARGS__)
 215
 216 void test_fprintf_chk_s_const (int width)
 217 {
 218   const char *s = "0123456789";
 219
 220   T (fp, 0, "%2147483647s", s);
 221   T (fp, 0, "X%2147483647s", s);    /* { dg-warning ".%2147483647s. directive output of 2147483647 bytes causes result to exceed .INT_MAX." } */
 222   T (fp, 0, "%2147483647sY", s);    /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 223
 224   T (fp, 0, "%2147483648s", s);      /* { dg-warning "%2147483648s. directive output of 2147483648 bytes exceeds .INT_MAX." } */
 225   T (fp, 0, "X%2147483649s", s);     /* { dg-warning "%2147483649s. directive output of 2147483649 bytes exceeds .INT_MAX." } */
 226   T (fp, 0, "%2147483650sY", s);     /* { dg-warning ".%2147483650s. directive output of 2147483650 bytes exceeds .INT_MAX." } */
 227
 228   T (fp, 0, "%*s", INT_MAX, s);
 229   T (fp, 0, "X%*s", INT_MAX, s);     /* { dg-warning ".%\\\*s. directive output of 2147483647 bytes causes result to exceed .INT_MAX." } */
 230   T (fp, 0, "%*sY", INT_MAX, s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 231
 232   T (fp, 0, "X%*s", INT_MAX - 1, s);
 233   T (fp, 0, "%*sY", INT_MAX - 1, s);
 234
 235   T (fp, 0, "%*sY", INT_MAX, s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 236   T (fp, 0, "X%*s", INT_MAX, s);     /* { dg-warning ".%\\\*s. directive output of 2147483647 bytes causes result to exceed .INT_MAX." } */
 237
 238   if (width > INT_MAX - 1)
 239     width = INT_MAX - 1;
 240
 241   T (fp, 0, "%*s", width, s);
 242   T (fp, 0, "X%*s", width, s);
 243   T (fp, 0, "%*sY", width, s);
 244
 245   T (fp, 0, "%*s", width, s);
 246   T (fp, 0, "X%*s", width, s);
 247   T (fp, 0, "%*sY", width, s);
 248
 249   T (fp, 0, "%*s%*s", width, s, width, s);
 250   T (fp, 0, "X%*sY%*sZ", width, s, width, s);
 251
 252   if (width < 4096)
 253     width = 4096;
 254
 255   T (fp, 0, "%*s", width, s);
 256   T (fp, 0, "X%*s", width, s);
 257   T (fp, 0, "%*sY", width, s);
 258
 259   if (width < INT_MAX - 1)
 260     width = INT_MAX - 1;
 261
 262   T (fp, 0, "%*s", width, s);
 263   T (fp, 0, "X%*s", width, s);
 264   T (fp, 0, "%*sY", width, s);
 265   T (fp, 0, "X%*sY", width, s);      /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 266 }
 267
 268
 269 /* And finally exercise fprintf_unlocked.  */
 270
 271 #undef T
 272 #define T(...) __builtin_fprintf_unlocked (__VA_ARGS__)
 273
 274 void test_fprintf_unlocked_s_const (int width)
 275 {
 276   const char *s = "0123456789";
 277
 278   T (fp, "%2147483647s", s);
 279   T (fp, "X%2147483647s", s);     /* { dg-warning ".%2147483647s. directive output of 2147483647 bytes causes result to exceed .INT_MAX." } */
 280   T (fp, "%2147483647sY", s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 281
 282   T (fp, "%2147483648s", s);      /* { dg-warning "%2147483648s. directive output of 2147483648 bytes exceeds .INT_MAX." } */
 283   T (fp, "X%2147483649s", s);     /* { dg-warning "%2147483649s. directive output of 2147483649 bytes exceeds .INT_MAX." } */
 284   T (fp, "%2147483650sY", s);     /* { dg-warning ".%2147483650s. directive output of 2147483650 bytes exceeds .INT_MAX." } */
 285
 286   T (fp, "%*s", INT_MAX, s);
 287   T (fp, "X%*s", INT_MAX, s);     /* { dg-warning ".%\\\*s. directive output of 2147483647 bytes causes result to exceed .INT_MAX." } */
 288   T (fp, "%*sY", INT_MAX, s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 289
 290   T (fp, "X%*s", INT_MAX - 1, s);
 291   T (fp, "%*sY", INT_MAX - 1, s);
 292
 293   T (fp, "%*sY", INT_MAX, s);     /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 294   T (fp, "X%*s", INT_MAX, s);     /* { dg-warning ".%\\\*s. directive output of 2147483647 bytes causes result to exceed .INT_MAX." } */
 295
 296   if (width > INT_MAX - 1)
 297     width = INT_MAX - 1;
 298
 299   T (fp, "%*s", width, s);
 300   T (fp, "X%*s", width, s);
 301   T (fp, "%*sY", width, s);
 302
 303   T (fp, "%*s", width, s);
 304   T (fp, "X%*s", width, s);
 305   T (fp, "%*sY", width, s);
 306
 307   T (fp, "%*s%*s", width, s, width, s);
 308   T (fp, "X%*sY%*sZ", width, s, width, s);
 309
 310   if (width < 4096)
 311     width = 4096;
 312
 313   T (fp, "%*s", width, s);
 314   T (fp, "X%*s", width, s);
 315   T (fp, "%*sY", width, s);
 316
 317   if (width < INT_MAX - 1)
 318     width = INT_MAX - 1;
 319
 320   T (fp, "%*s", width, s);
 321   T (fp, "X%*s", width, s);
 322   T (fp, "%*sY", width, s);
 323   T (fp, "X%*sY", width, s);      /* { dg-warning ".Y. directive output of 1 bytes causes result to exceed .INT_MAX." } */
 324 }