1 2 3 4 5 6 7 8 9 10 11 12 13 14
# { dg-options "-fstropping=upper" } # # Nested loops. # BEGIN INT i := 10, res := 0; WHILE i > 0 DO INT j := 10; WHILE j > 0 DO res +:= 1; j -:= 1 OD; ASSERT (j = 0); i -:= 1; OD; ASSERT (i = 0 AND res = 100) END