gcc/testsuite/gcc.dg/tree-ssa/vrp49.c

   1 /* { dg-do link } */
   2 /* { dg-options "-O2" } */
   3
   4 extern void link_error (void) __attribute__((noreturn));
   5 int n;
   6 float *x;
   7 int main()
   8 {
   9   if (n > 0)
  10     {
  11       int i = 0;
  12       do
  13         {
  14           long long index;
  15           i = i + 1;
  16           index = i;
  17           if (index <= 0)
  18             link_error ();
  19           x[index] = 0;
  20           i = i + 1;
  21           index = i;
  22           if (index <= 0)
  23             link_error ();
  24           x[index] = 0;
  25         }
  26       while (i < n);
  27     }
  28 }