1 2 3 4 5 6
# { dg-options "-fstropping=upper" } # BEGIN INT x := 10; REF INT xx := x; x := 20; ASSERT ((xx := (INT j; x)) = 20) END