gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-13.c

   1 /* { dg-do compile }
   2    { dg-options "-O2 -Wall -Wformat-overflow=1 -ftrack-macro-expansion=0" }
   3    { dg-require-effective-target int32plus } */
   4
   5 typedef __SIZE_TYPE__  size_t;
   6 typedef __WCHAR_TYPE__ wchar_t;
   7
   8 #define INT_MAX __INT_MAX__
   9 #define INT_MIN (-INT_MAX - 1)
  10
  11 /* When debugging, define LINE to the line number of the test case to exercise
  12    and avoid exercising any of the others.  The buffer and objsize macros
  13    below make use of LINE to avoid warnings for other lines.  */
  14 #ifndef LINE
  15 # define LINE 0
  16 #endif
  17
  18 void sink (char*, char*);
  19
  20 int dummy_sprintf (char*, const char*, ...);
  21
  22 char buffer [256];
  23 extern char *ptr;
  24
  25 int int_range (int min, int max)
  26 {
  27   extern int int_value (void);
  28   int n = int_value ();
  29   return n < min || max < n ? min : n;
  30 }
  31
  32 unsigned uint_range (unsigned min, unsigned max)
  33 {
  34   extern unsigned uint_value (void);
  35   unsigned n = uint_value ();
  36   return n < min || max < n ? min : n;
  37 }
  38
  39 /* Evaluate to an array of SIZE characters when non-negative, or to
  40    a pointer to an unknown object otherwise.  */
  41 #define buffer(size)                                    \
  42   ((0 <= size) ? buffer + sizeof buffer - (size) : ptr)
  43
  44 /* Helper to expand function to either __builtin_f or dummy_f to
  45    make debugging GCC easy.  */
  46 #define FUNC(f)                                                 \
  47   ((!LINE || LINE == __LINE__) ? __builtin_ ## f : dummy_ ## f)
  48
  49 /* Macro to verify that calls to __builtin_sprintf (i.e., with no size
  50    argument) issue diagnostics by correctly determining the size of
  51    the destination buffer.  */
  52 #define T(size, ...)                                            \
  53   (FUNC (sprintf) (buffer (size),  __VA_ARGS__),                \
  54    sink (buffer, ptr))
  55
  56 /* Return a signed integer in the range [MIN, MAX].  */
  57 #define R(min, max)  int_range (min, max)
  58
  59 /* Verify warnings and ranges for certain overflow.  */
  60 void test_min_overflow (int i)
  61 {
  62   T (0, "%#hho", i);            /* { dg-warning "between 1 and 4 bytes" } */
  63   T (0, "%#1hho", i);           /* { dg-warning "between 1 and 4 bytes" } */
  64   T (0, "%#2hho", i);           /* { dg-warning "between 2 and 4 bytes" } */
  65   T (0, "%#3hho", i);           /* { dg-warning "between 3 and 4 bytes" } */
  66   T (0, "%#4hho", i);           /* { dg-warning "writing 4 bytes" } */
  67   T (0, "%#hho", R (-1,  0));   /* { dg-warning "between 1 and 4 bytes" } */
  68   T (0, "%#1hho", R (-1,  0));  /* { dg-warning "between 1 and 4 bytes" } */
  69   T (0, "%#2hho", R (-1,  0));  /* { dg-warning "between 2 and 4 bytes" } */
  70   T (0, "%#3hho", R (-1,  0));  /* { dg-warning "between 3 and 4 bytes" } */
  71   T (0, "%#4hho", R (-1,  0));  /* { dg-warning "writing 4 bytes" } */
  72   T (0, "%#hho", R (-1,  1));   /* { dg-warning "between 1 and 4 bytes" } */
  73   T (0, "%#1hho", R (-1,  1));  /* { dg-warning "between 1 and 4 bytes" } */
  74   T (0, "%#2hho", R (-1,  1));  /* { dg-warning "between 2 and 4 bytes" } */
  75   T (0, "%#3hho", R (-1,  1));  /* { dg-warning "between 3 and 4 bytes" } */
  76   T (0, "%#4hho", R (-1,  1));  /* { dg-warning "writing 4 bytes" } */
  77   T (0, "%#hho", R ( 0,  1));   /* { dg-warning "between 1 and 2 bytes" } */
  78   T (0, "%#1hho", R ( 0,  1));  /* { dg-warning "between 1 and 2 bytes" } */
  79   T (0, "%#2hho", R ( 0,  1));  /* { dg-warning "writing 2 bytes" } */
  80   T (0, "%#3hho", R ( 0,  1));  /* { dg-warning "writing 3 bytes" } */
  81   T (0, "%#4hho", R ( 0,  1));  /* { dg-warning "writing 4 bytes" } */
  82   T (0, "%#hho", R ( 1,  2));   /* { dg-warning "writing 2 bytes" } */
  83   T (0, "%#1hho", R ( 1,  2));  /* { dg-warning "writing 2 bytes" } */
  84   T (0, "%#2hho", R ( 1,  2));  /* { dg-warning "writing 2 bytes" } */
  85   T (0, "%#3hho", R ( 1,  2));  /* { dg-warning "writing 3 bytes" } */
  86   T (0, "%#4hho", R ( 1,  2));  /* { dg-warning "writing 4 bytes" } */
  87
  88   T (0, "%#ho",  i);            /* { dg-warning "between 1 and 7 bytes" } */
  89   T (0, "%#.*ho",               /* { dg-warning "between 1 and 7 bytes" } */
  90      R (0, 2), i);
  91   T (0, "%#.*ho",               /* { dg-warning "between 1 and 7 bytes" } */
  92      R (1, 2), i);
  93   T (0, "%#.*ho",               /* { dg-warning "between 2 and 7 bytes" } */
  94      R (2, 3), i);
  95   T (0, "%#.*ho",               /* { dg-warning "between 3 and 7 bytes" } */
  96      R (3, 4), i);
  97   T (0, "%#.*ho",               /* { dg-warning "between 7 and 8 bytes" } */
  98      R (7, 8), i);
  99
 100   T (0, "%#ho",  R (-1,  0));   /* { dg-warning "between 1 and 7 bytes" } */
 101   T (0, "%#ho",  R (-1,  1));   /* { dg-warning "between 1 and 7 bytes" } */
 102   T (0, "%#ho",  R ( 0,  1));   /* { dg-warning "between 1 and 2 bytes" } */
 103   T (0, "%#ho",  R ( 1,  2));   /* { dg-warning "writing 2 bytes" } */
 104
 105   T (0, "%#o",   i);            /* { dg-warning "between 1 and 12 bytes" } */
 106   T (0, "%#o",   R (-1,  0));   /* { dg-warning "between 1 and 12 bytes" } */
 107   T (0, "%#o",   R (-1,  1));   /* { dg-warning "between 1 and 12 bytes" } */
 108   T (0, "%#o",   R ( 0,  1));   /* { dg-warning "between 1 and 2 bytes" } */
 109   T (0, "%#o",   R ( 1,  2));   /* { dg-warning "writing 2 bytes" } */
 110
 111   T (0, "%#hhx", i);            /* { dg-warning "between 1 and 4 bytes" } */
 112   T (0, "%#.*hhx",              /* { dg-warning "writing up to 4 bytes" } */
 113      R (0, 2), i);
 114   T (0, "%#.*hhx",              /* { dg-warning "between 1 and 4 bytes" } */
 115      R (1, 2), i);
 116   T (0, "%#.*hhx",              /* { dg-warning "between 2 and 5 bytes" } */
 117      R (2, 3), i);
 118   T (0, "%#.*hhx",              /* { dg-warning "between 3 and 6 bytes" } */
 119      R (3, 4), i);
 120
 121   T (0, "%#hhx", R (-1,  0));   /* { dg-warning "between 1 and 4 bytes" } */
 122   T (0, "%#hhx", R (-1,  1));   /* { dg-warning "between 1 and 4 bytes" } */
 123   T (0, "%#hhx", R ( 0,  1));   /* { dg-warning "between 1 and 3 bytes" } */
 124   T (0, "%#hhx", R ( 1,  2));   /* { dg-warning "writing 3 bytes" } */
 125
 126   T (0, "%#hx", i);             /* { dg-warning "between 1 and 6 bytes" } */
 127   T (0, "%#hx", R (-1,  0));    /* { dg-warning "between 1 and 6 bytes" } */
 128   T (0, "%#hx", R (-1,  1));    /* { dg-warning "between 1 and 6 bytes" } */
 129   T (0, "%#hx", R ( 0,  1));    /* { dg-warning "between 1 and 3 bytes" } */
 130   T (0, "%#hx", R ( 1,  2));    /* { dg-warning "writing 3 bytes" } */
 131
 132   T (0, "%#x",   i);            /* { dg-warning "between 1 and 10 bytes" } */
 133   T (0, "%#x",   R (-1,  0));   /* { dg-warning "between 1 and 10 bytes" } */
 134   T (0, "%#x",   R (-1,  1));   /* { dg-warning "between 1 and 10 bytes" } */
 135   T (0, "%#x",   R ( 0,  1));   /* { dg-warning "between 1 and 3 bytes" } */
 136   T (0, "%#x",   R ( 1,  2));   /* { dg-warning "writing 3 bytes" } */
 137 }
 138
 139 /* Verify warnings and ranges for likely overflow.  */
 140 void test_likely_overflow (int i)
 141 {
 142   T (2, "%#hho", i);          /* { dg-warning "may write a terminating nul" } */
 143   T (2, "%#1hho", i);         /* { dg-warning "may write a terminating nul" } */
 144   T (2, "%#2hho", i);         /* { dg-warning "writing a terminating nul" } */
 145   T (2, "%#3hho", i);         /* { dg-warning "between 3 and 4 bytes" } */
 146   T (2, "%#4hho", i);         /* { dg-warning "writing 4 bytes" } */
 147   T (2, "%#hho", R (-1,  0)); /* { dg-warning "may write a terminating nul" } */
 148   T (2, "%#1hho", R (-1,  0));/* { dg-warning "may write a terminating nul" } */
 149   T (2, "%#2hho", R (-1,  0));/* { dg-warning "writing a terminating nul" } */
 150   T (2, "%#3hho", R (-1,  0));/* { dg-warning "between 3 and 4 bytes" } */
 151   T (2, "%#4hho", R (-1,  0));/* { dg-warning "writing 4 bytes" } */
 152   T (2, "%#hho", R (-1,  1)); /* { dg-warning "may write a terminating nul" } */
 153   T (2, "%#1hho", R (-1,  1));/* { dg-warning "may write a terminating nul" } */
 154   T (2, "%#2hho", R (-1,  1));/* { dg-warning "writing a terminating nul" } */
 155   T (2, "%#3hho", R (-1,  1));/* { dg-warning "between 3 and 4 bytes" } */
 156   T (2, "%#4hho", R (-1,  1));/* { dg-warning "writing 4 bytes" } */
 157   T (2, "%#hho", R ( 0,  1)); /* { dg-warning "may write a terminating nul" } */
 158   T (2, "%#1hho", R ( 0,  1));/* { dg-warning "may write a terminating nul" } */
 159   T (2, "%#2hho", R ( 0,  1));/* { dg-warning "writing a terminating nul" } */
 160   T (2, "%#3hho", R ( 0,  1));/* { dg-warning "writing 3 bytes" } */
 161   T (2, "%#4hho", R ( 0,  1));/* { dg-warning "writing 4 bytes" } */
 162   T (2, "%#hho", R ( 1,  2)); /* { dg-warning "writing a terminating nul" } */
 163   T (2, "%#1hho", R ( 1,  2));/* { dg-warning "writing a terminating nul" } */
 164   T (2, "%#2hho", R ( 1,  2));/* { dg-warning "writing a terminating nul" } */
 165   T (2, "%#3hho", R ( 1,  2));/* { dg-warning "writing 3 bytes" } */
 166   T (2, "%#4hho", R ( 1,  2));/* { dg-warning "writing 4 bytes" } */
 167
 168   T (2, "%#ho",  i);          /* { dg-warning "may write a terminating nul" } */
 169   T (2, "%#ho",  R (-1,  0)); /* { dg-warning "may write a terminating nul" } */
 170   T (2, "%#ho",  R (-1,  1)); /* { dg-warning "may write a terminating nul" } */
 171   T (2, "%#ho",  R ( 0,  1)); /* { dg-warning "may write a terminating nul" } */
 172   T (2, "%#ho",  R ( 1,  2)); /* { dg-warning "writing a terminating nul" } */
 173
 174   T (2, "%#o",   i);          /* { dg-warning "may write a terminating nul" } */
 175   T (2, "%#o",   R (-1,  0)); /* { dg-warning "may write a terminating nul" } */
 176   T (2, "%#o",   R (-1,  1)); /* { dg-warning "may write a terminating nul" } */
 177   T (2, "%#o",   R ( 0,  1)); /* { dg-warning "may write a terminating nul" } */
 178   T (2, "%#o",   R ( 1,  2)); /* { dg-warning "writing a terminating nul" } */
 179
 180   T (2, "%#hhx", i);          /* { dg-warning "between 1 and 4 bytes" } */
 181   T (2, "%#1hhx", i);         /* { dg-warning "between 1 and 4 bytes" } */
 182   T (2, "%#2hhx", i);         /* { dg-warning "between 2 and 4 bytes" } */
 183   T (2, "%#3hhx", i);         /* { dg-warning "between 3 and 4 bytes" } */
 184   T (2, "%#4hhx", i);         /* { dg-warning "writing 4 bytes" } */
 185   T (2, "%#1hhx", R (-1,  0));/* { dg-warning "between 1 and 4 bytes" } */
 186   T (2, "%#2hhx", R (-1,  0));/* { dg-warning "between 2 and 4 bytes" } */
 187   T (2, "%#3hhx", R (-1,  0));/* { dg-warning "between 3 and 4 bytes" } */
 188   T (2, "%#4hhx", R (-1,  0));/* { dg-warning "writing 4 bytes" } */
 189   T (2, "%#hhx", R (-1,  0)); /* { dg-warning "between 1 and 4 bytes" } */
 190   T (2, "%#1hhx", R (-1,  0));/* { dg-warning "between 1 and 4 bytes" } */
 191   T (2, "%#2hhx", R (-1,  0));/* { dg-warning "between 2 and 4 bytes" } */
 192   T (2, "%#3hhx", R (-1,  0));/* { dg-warning "between 3 and 4 bytes" } */
 193   T (2, "%#4hhx", R (-1,  0));/* { dg-warning "writing 4 bytes" } */
 194   T (2, "%#hhx", R (-1,  1)); /* { dg-warning "between 1 and 4 bytes" } */
 195   T (2, "%#1hhx", R (-1,  1));/* { dg-warning "between 1 and 4 bytes" } */
 196   T (2, "%#2hhx", R (-1,  1));/* { dg-warning "between 2 and 4 bytes" } */
 197   T (2, "%#3hhx", R (-1,  1));/* { dg-warning "between 3 and 4 bytes" } */
 198   T (2, "%#4hhx", R (-1,  1));/* { dg-warning "writing 4 bytes" } */
 199   T (2, "%#hhx", R ( 0,  1)); /* { dg-warning "between 1 and 3 bytes" } */
 200   T (2, "%#1hhx", R ( 0,  1));/* { dg-warning "between 1 and 3 bytes" } */
 201   T (2, "%#2hhx", R ( 0,  1));/* { dg-warning "between 2 and 3 bytes" } */
 202   T (2, "%#3hhx", R ( 0,  1));/* { dg-warning "writing 3 bytes" } */
 203   T (2, "%#4hhx", R ( 0,  1));/* { dg-warning "writing 4 bytes" } */
 204   T (2, "%#hhx", R ( 1,  2)); /* { dg-warning "writing 3 bytes" } */
 205   T (2, "%#1hhx", R ( 1,  2));/* { dg-warning "writing 3 bytes" } */
 206   T (2, "%#2hhx", R ( 1,  2));/* { dg-warning "writing 3 bytes" } */
 207   T (2, "%#3hhx", R ( 1,  2));/* { dg-warning "writing 3 bytes" } */
 208   T (2, "%#4hhx", R ( 1,  2));/* { dg-warning "writing 4 bytes" } */
 209
 210   T (2, "%#hx", i);           /* { dg-warning "between 1 and 6 bytes" } */
 211   T (2, "%#hx", R (-1,  0));  /* { dg-warning "between 1 and 6 bytes" } */
 212   T (2, "%#hx", R (-1,  1));  /* { dg-warning "between 1 and 6 bytes" } */
 213   T (2, "%#hx", R ( 0,  1));  /* { dg-warning "between 1 and 3 bytes" } */
 214   T (2, "%#hx", R ( 1,  2));  /* { dg-warning "writing 3 bytes" } */
 215
 216   T (2, "%#x",   i);          /* { dg-warning "between 1 and 10 bytes" } */
 217   T (2, "%#x",   R (-1,  0)); /* { dg-warning "between 1 and 10 bytes" } */
 218   T (2, "%#x",   R (-1,  1)); /* { dg-warning "between 1 and 10 bytes" } */
 219   T (2, "%#x",   R ( 0,  1)); /* { dg-warning "between 1 and 3 bytes" } */
 220   T (2, "%#x",   R ( 1,  2)); /* { dg-warning "writing 3 bytes" } */
 221 }
 222
 223 /* Verify warnings likely overflow due to the terminating nul.  */
 224 void test_likely_nul_overflow (int i)
 225 {
 226   T (3, "%#hho", i);
 227   T (3, "%#hho", R (-1,  0));
 228   T (3, "%#hho", R (-1,  1));
 229   T (3, "%#hho", R ( 0,  1));
 230   T (3, "%#hho", R ( 1,  2));
 231
 232   T (3, "%#ho",  i);
 233   T (3, "%#ho",  R (-1,  0));
 234   T (3, "%#ho",  R (-1,  1));
 235   T (3, "%#ho",  R ( 0,  1));
 236   T (3, "%#ho",  R ( 1,  2));
 237
 238   T (3, "%#o",   i);
 239   T (3, "%#o",   R (-1,  0));
 240   T (3, "%#o",   R (-1,  1));
 241   T (3, "%#o",   R ( 0,  1));
 242   T (3, "%#o",   R ( 1,  2));
 243
 244   T (3, "%#hhx", i);          /* { dg-warning "may write a terminating nul" } */
 245   T (3, "%#hhx", R (-1,  0)); /* { dg-warning "may write a terminating nul" } */
 246   T (3, "%#hhx", R (-1,  1)); /* { dg-warning "may write a terminating nul" } */
 247   T (3, "%#hhx", R ( 0,  1)); /* { dg-warning "may write a terminating nul" } */
 248   T (3, "%#hhx", R ( 1,  2)); /* { dg-warning "writing a terminating nul" } */
 249
 250   T (3, "%#hx", i);           /* { dg-warning "may write a terminating nul" } */
 251   T (3, "%#hx", R (-1,  0));  /* { dg-warning "may write a terminating nul" } */
 252   T (3, "%#hx", R (-1,  1));  /* { dg-warning "may write a terminating nul" } */
 253   T (3, "%#hx", R ( 0,  1));  /* { dg-warning "may write a terminating nul" } */
 254   T (3, "%#hx", R ( 1,  2));  /* { dg-warning "writing a terminating nul" } */
 255
 256   T (3, "%#x",   i);          /* { dg-warning "may write a terminating nul" } */
 257   T (3, "%#x",   R (-1,  0)); /* { dg-warning "may write a terminating nul" } */
 258   T (3, "%#x",   R (-1,  1)); /* { dg-warning "may write a terminating nul" } */
 259   T (3, "%#x",   R ( 0,  1)); /* { dg-warning "may write a terminating nul" } */
 260   T (3, "%#x",   R ( 1,  2)); /* { dg-warning "writing a terminating nul" } */
 261 }