gcc/testsuite/gcc.dg/pr53265.c

   1 /* PR tree-optimization/53265 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -Wall" } */
   4 /* { dg-require-effective-target size32plus } */
   5
   6 void bar (void *);
   7 int baz (int);
   8
   9 void
  10 fn1 (void)
  11 {
  12   unsigned int a[128];
  13   int i;
  14
  15   for (i = 0; i < 128; ++i)     /* { dg-message "note: within this loop" } */
  16     a[i] = i * 0x02000001;      /* { dg-warning "64 invokes undefined behavior" } */
  17   bar (a);
  18 }
  19
  20 void
  21 fn2 (void)
  22 {
  23   unsigned long long a[128];
  24   int i;
  25
  26   for (i = 0; i < 128; i++)                     /* { dg-message "note: within this loop" } */
  27     a[i] = (i + 1LL) * 0x0123456789ABCDEFLL;    /* { dg-warning "112 invokes undefined behavior" } */
  28   bar (a);
  29 }
  30
  31 void
  32 fn3 (void)
  33 {
  34   unsigned char a[16], b[16], c[16];
  35   int i;
  36
  37   bar (b);
  38   for (i = 0; i < (int) (sizeof (a) / sizeof (a[0])); i++)      /* { dg-message "note: within this loop" } */
  39     {
  40       c[i + 8] = b[i];  /* { dg-warning "8 invokes undefined behavior" } */
  41         /* { dg-warning "out of the bounds" "" { target *-*-* } .-1 } */
  42       a[i + 8] = b[i + 8]; /* { dg-warning "out of the bounds" } */
  43     }
  44   bar (a);
  45   bar (c);
  46 }
  47
  48 void
  49 fn4 (void)
  50 {
  51   unsigned int *a[32], *o, i;
  52
  53   bar (a);
  54   for (i = 0; i <= sizeof (a) / sizeof (a[0]); i++)     /* { dg-message "note: within this loop" } */
  55     {
  56       o = a[i]; /* { dg-warning "32 invokes undefined behavior" } */
  57       bar (o);
  58     }
  59 }
  60
  61 void
  62 fn5 (void)
  63 {
  64   unsigned short a[23940];
  65   unsigned int b[1140];
  66   int j;
  67
  68   bar (b);
  69   for (j = 0; j < 1140; j++)    /* { dg-message "note: within this loop" } */
  70     a[23940 + j - 950] = b[j];  /* { dg-warning "950 invokes undefined behavior" } */
  71   bar (a);
  72 }
  73
  74 void
  75 fn6 (void)
  76 {
  77   double a[4][3], b[12];
  78   int i;
  79   bar (b);
  80   for (i = 0; i < 12; i++)      /* { dg-message "note: within this loop" } */
  81     a[0][i] = b[i] / 10000.0;   /* { dg-warning "3 invokes undefined behavior" } */
  82   bar (a);
  83 }
  84
  85 void
  86 fn7 (void)
  87 {
  88   int a[16], b, c;
  89   bar (a);
  90   for (b = a[c = 0]; c < 16; b = a[++c])
  91     /* { dg-warning "15 invokes undefined behavior" "" { target *-*-* } .-1 } */
  92     /* { dg-message "note: within this loop" "" { target *-*-* } .-2 } */
  93     baz (b);
  94 }
  95
  96
  97 const void *va, *vb, *vc, *vd, *ve;
  98 const void *vf[4];
  99 void
 100 fn8 (void)
 101 {
 102   unsigned long i;
 103   vf[0] = va; vf[1] = vb; vf[2] = vc; vf[3] = vd;
 104   for (i = 0; i < (sizeof (vf) / sizeof (vf[0])); i++)
 105     if (!vf[i])
 106       vf[i] = ve;
 107 }
 108
 109 int wa, wb[53][5], wc[53][5];
 110
 111 void
 112 fn9 (void)
 113 {
 114   int i, j, k;
 115   for (i = 0; i < 53; i++)
 116     for (j = 16 / (((wa & 1) != 0) ? 8 : 4); j > 0; j--)
 117       {
 118         int d = 1;
 119         if (wb[i][j] == 0 || wc[i][1] != 0)
 120           continue;
 121         for (k = 0; k < j; k++)
 122           if (wc[i + k][1])
 123             {
 124               d = 0;
 125               break;
 126             }
 127         if (!d)
 128           continue;
 129         wc[i][j] = baz (0);
 130       }
 131 }
 132
 133 int xa[18];
 134
 135 void
 136 fn10 (void)
 137 {
 138   int i;
 139   for (i = 16; i < 32; i++)     /* { dg-message "note: within this loop" } */
 140     xa[i] = 26;                 /* { dg-warning "2 invokes undefined behavior" } */
 141 }
 142
 143 __attribute__((noinline)) static void
 144 fn11 (int x)
 145 {
 146   int i = 1;
 147   if (x > 1)
 148     do
 149       baz (i);
 150     while (++i != x);           /* { dg-bogus "invokes undefined behavior" } */
 151 }
 152
 153 void
 154 fn12 (void)
 155 {
 156   fn11 (1);
 157   fn11 (1);
 158   fn11 (1);
 159 }