# { dg-options "-fstropping=upper" }  #
BEGIN INT n := -4, m := 0;
      [n:m,2]INT arr;
      ASSERT (1 LWB arr = -4 AND 1 UPB arr = 0 AND 1 ELEMS arr = 5);
      ASSERT (2 LWB arr = 1 AND 2 UPB arr = 2 AND 2 ELEMS arr = 2)
END