1 2 3 4 5 6
# { dg-options "-fstropping=upper" } # BEGIN INT num ints := 10; num ints -:= 1; ASSERT (num ints = 9); ASSERT ((LOC INT -:= 12) = -12) END