2 /* { dg-options "-O1 -ftree-vrp" } */
4 /* PR tree-optimization/22230
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. */
9 extern void abort (void) __attribute__((noreturn));
15 for (i = 0; i < 5; i++)