blob: 3dde91c5ffc2e66155b00700011038b5fa1244ab (
plain)
1
2
3
4
5
6
7
8
|
# { dg-options "-fstropping=upper" } #
BEGIN INT n := -4, m := 0;
[n:m,2]REF INT arr;
FOR i FROM 1 LWB arr TO 1 UPB arr
DO FOR j FROM 2 LWB arr TO 2 UPB arr
DO ASSERT (REF INT (arr[i,j]) :=: REF INT(SKIP)) OD
OD
END
|