gcc/testsuite/gcc.dg/torture/pr43002.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Wall -fwrapv" } */
   3
   4 long A[4], B[100];
   5
   6 void foo(void)
   7 {
   8   int i, j, k = 3;
   9   while (A[k] && k > 0) k--; /* k = {0, 1, 2, 3} */
  10   for (i = 3 - k; i >= 0; i--) /* i = {0..3-k} */
  11     for (j = 0; j <= k; j++) { /* line 8; j = {0..k} */
  12         B[i + j] = 0; /* line 9; i + j = {0..3-k+k} = {0..3} */
  13         for (j = 0; j <= k; j++); /* only one iteration is done, with j == 0 */
  14     }
  15 }
  16