OSDN Git Service

PR tree-optimization/22230
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / tree-ssa / pr22230.c
1 /* { dg-do run } */
2 /* { dg-options "-O1 -ftree-vrp" } */
3
4 /* PR tree-optimization/22230
5
6    The meet of the ranges in "i*i" was not computed correctly, leading
7    gcc to believe that a was equal to 0 after the loop.  */
8
9 extern void abort (void) __attribute__((noreturn));
10
11 int main (void)
12 {
13   long a, i;
14
15   for (i = 0; i < 5; i++)
16     a = i * i;
17   if (a != 16)
18     abort ();
19   return 0;
20 }
21