1 /* { dg-do compile } */
2 /* { dg-options "-Wall -fwrapv" } */
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 */