gcc/testsuite/algol68/execute/plusab-4.a68

# { dg-options "-fstropping=upper" }  #
BEGIN INT num ints := 0;
      num ints +:= 1;
      ASSERT (num ints = 1);
      ASSERT ((LOC INT +:= 12) = 12)
END