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

   1 /* PR tree-optimization/91567 - Spurious -Wformat-overflow warnings building
   2    glibc (32-bit only)
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall -ftrack-macro-expansion=0" }
   5    { dg-require-effective-target alloca } */
   6
   7 typedef __SIZE_TYPE__ size_t;
   8
   9 extern int sprintf (char*, const char*, ...);
  10 extern size_t strlen (const char*);
  11
  12 void f (char *);
  13
  14 void g (char *s1, char *s2)
  15 {
  16   char b[1025];
  17   size_t n = __builtin_strlen (s1), d = __builtin_strlen (s2);
  18   if (n + d + 1 >= 1025)
  19     return;
  20
  21   /* Ranger can find ranges here:
  22      [1] n_6: size_t [0, 1023]
  23      [2] d_8: size_t [0, 1023]
  24
  25      Whereas evrp can't really:
  26      [1] n_6: size_t [0, 9223372036854775805]
  27      [2] d_8: size_t [0, 9223372036854775805]
  28
  29      This is causing the sprintf warning pass to issue a false
  30      positive here.  */
  31
  32   sprintf (b, "%s.%s", s1, s2);     // { dg-bogus "\\\[-Wformat-overflow" "" { xfail *-*-* } }
  33
  34   f (b);
  35 }
  36
  37 /* Extracted from gcc/c-cppbuiltin.c.  */
  38
  39 void cpp_define (char*);
  40
  41 static void
  42 builtin_define_type_minmax (const char *min_macro, const char *max_macro,
  43                             void *type)
  44 {
  45   extern const char *suffix;
  46   char *buf;
  47
  48   if (type)
  49     {
  50       buf = (char *) __builtin_alloca (__builtin_strlen (min_macro) + 2
  51                                        + __builtin_strlen (suffix) + 1);
  52       sprintf (buf, "%s=0%s", min_macro, suffix);      // { dg-bogus "\\\[-Wformat-overflow" }
  53     }
  54   else
  55     {
  56       buf = (char *) __builtin_alloca (__builtin_strlen (min_macro) + 3
  57                                        + __builtin_strlen (max_macro) + 6);
  58       sprintf (buf, "%s=(-%s - 1)", min_macro, max_macro);  // { dg-bogus "\\\[-Wformat-overflow" }
  59     }
  60
  61   cpp_define (buf);
  62 }
  63
  64 void
  65 c_cpp_builtins (void *type)
  66 {
  67
  68   builtin_define_type_minmax ("__WCHAR_MIN__", "__WCHAR_MAX__", type);
  69   builtin_define_type_minmax ("__WINT_MIN__", "__WINT_MAX__", type);
  70 }