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