gcc/testsuite/algol68/execute/completer-7.a68

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