gcc/testsuite/gcc.dg/tree-ssa/builtin-snprintf-warn-5.c

   1 /* Test to verify that --param ssa_name_def_chain_limit can be used to
   2    limit the maximum number of SSA_NAME assignments the built-in code
   3    follows.
   4    { dg-do compile }
   5    { dg-options "-O2 -Wall -Wformat-truncation=2 --param ssa-name-def-chain-limit=4 -fdump-tree-optimized" } */
   6
   7 typedef __SIZE_TYPE__ size_t;
   8
   9 int snprintf (char * restrict, size_t, const char *restrict, ...);
  10
  11 void sink (const char*, ...);
  12
  13 const char a0[] = "";
  14 const char a1[] = "1";
  15 const char a2[] = "12";
  16 const char a3[] = "123";
  17 const char a4[] = "1234";
  18 const char a5[] = "12345";
  19 const char a6[] = "123456";
  20 const char a7[] = "1234567";
  21 const char a8[] = "12345678";
  22 const char a9[] = "123456789";
  23
  24 int i0, i1, i2, i3, i4, i5, i6, i7, i8;
  25
  26 void g1 (char *d)
  27 {
  28   const char *p0 = i0 ? a0 : a1;
  29   const char *p1 = i1 ? p0 : a2;
  30
  31   sink (p0, p1);
  32
  33   snprintf (d, 1, "%s", p1);    // { dg-warning "\\\[-Wformat-truncation" }
  34 }
  35
  36 void g2 (char *d)
  37 {
  38   const char *p0 = i0 ? a0 : a1;
  39   const char *p1 = i1 ? p0 : a2;
  40   const char *p2 = i2 ? p1 : a3;
  41
  42   sink (p0, p1, p2);
  43
  44   snprintf (d, 2, "%s", p2);    // { dg-warning "\\\[-Wformat-truncation" }
  45 }
  46
  47 void g3 (char *d)
  48 {
  49   const char *p0 = i0 ? a0 : a1;
  50   const char *p1 = i1 ? p0 : a2;
  51   const char *p2 = i2 ? p1 : a3;
  52   const char *p3 = i3 ? p2 : a4;
  53
  54   sink (p0, p1, p2, p3);
  55
  56   snprintf (d, 3, "%s", p3);    // { dg-warning "\\\[-Wformat-truncation" }
  57 }
  58
  59 void g4 (char *d)
  60 {
  61   const char *p0 = i0 ? a0 : a1;
  62   const char *p1 = i1 ? p0 : a2;
  63   const char *p2 = i2 ? p1 : a3;
  64   const char *p3 = i3 ? p2 : a4;
  65   const char *p4 = i4 ? p3 : a5;
  66
  67   sink (p0, p1, p2, p3, p4);
  68
  69   // p4 below is the result of the following five PHI assignments
  70   // and with the limit set to 4 the snprintf call is not diagnosed
  71   //   iftmp.0_7 = PHI <&a0(2), &a1(3)>
  72   //   iftmp.2_8 = PHI <iftmp.0_7(4), &a2(5)>
  73   //   iftmp.4_9 = PHI <iftmp.2_8(6), &a3(7)>
  74   //   iftmp.6_10 = PHI <iftmp.4_9(8), &a4(9)>
  75   //   iftmp.8_17 = PHI <iftmp.6_10(10), &a5(11)>
  76   //   p4 = iftmp.8_17
  77   snprintf (d, 4, "%s", p4);
  78 }
  79
  80 void g5 (char *d)
  81 {
  82   const char *p0 = i0 ? a0 : a1;
  83   const char *p1 = i1 ? p0 : a2;
  84   const char *p2 = i2 ? p1 : a3;
  85   const char *p3 = i3 ? p2 : a4;
  86   const char *p4 = i4 ? p3 : a5;
  87   const char *p5 = i5 ? p4 : a6;
  88
  89   sink (p0, p1, p2, p3, p4, p5);
  90
  91   snprintf (d, 5, "%s", p5);
  92 }
  93
  94 void g6 (char *d)
  95 {
  96   const char *p0 = i0 ? a0 : a1;
  97   const char *p1 = i1 ? p0 : a2;
  98   const char *p2 = i2 ? p1 : a3;
  99   const char *p3 = i3 ? p2 : a4;
 100   const char *p4 = i4 ? p3 : a5;
 101   const char *p5 = i5 ? p4 : a6;
 102   const char *p6 = i6 ? p5 : a7;
 103
 104   sink (p0, p1, p2, p3, p4, p5, p6);
 105
 106   snprintf (d, 6, "%s", p6);
 107 }
 108
 109 void g7 (char *d)
 110 {
 111   const char *p0 = i0 ? a0 : a1;
 112   const char *p1 = i1 ? p0 : a2;
 113   const char *p2 = i2 ? p1 : a3;
 114   const char *p3 = i3 ? p2 : a4;
 115   const char *p4 = i4 ? p3 : a5;
 116   const char *p5 = i5 ? p4 : a6;
 117   const char *p6 = i6 ? p5 : a7;
 118   const char *p7 = i7 ? p6 : a8;
 119
 120   sink (p0, p1, p2, p3, p4, p5, p6, p7);
 121
 122   snprintf (d, 7, "%s", p7);
 123 }
 124
 125 void g8 (char *d)
 126 {
 127   const char *p0 = i0 ? a0 : a1;
 128   const char *p1 = i1 ? p0 : a2;
 129   const char *p2 = i2 ? p1 : a3;
 130   const char *p3 = i3 ? p2 : a4;
 131   const char *p4 = i4 ? p3 : a5;
 132   const char *p5 = i5 ? p4 : a6;
 133   const char *p6 = i6 ? p5 : a7;
 134   const char *p7 = i7 ? p6 : a8;
 135   const char *p8 = i8 ? p7 : a9;
 136
 137   sink (p0, p1, p2, p3, p4, p5, p6, p7, p8);
 138
 139   snprintf (d, 8, "%s", p8);
 140 }