1 2 3 4 5
# { dg-options "-fstropping=upper" } # BEGIN INT i := 10, x; IF i < 5 THEN x = i FI; ASSERT (x /= i) END