# { dg-options "-fstropping=upper" } #
BEGIN INT n := -4, m := 0;
[10][n:m,2]INT arr;
FOR k FROM LWB arr TO UPB arr
DO FOR i FROM 1 LWB arr[k] TO 1 UPB arr[k]
DO FOR j FROM 2 LWB arr[k] TO 2 UPB arr[k]
DO ASSERT (arr[k][i,j] = INT(SKIP)) OD
OD
OD
END