1 2 3 4 5
# { dg-options "-fstropping=upper" } # BEGIN INT x := 20; REF INT i := (x := 10 EXIT foo: x EXIT bar: x := 30); ASSERT (i = 10) END