blob: 8ae0caae95de65d0a35331853f825669fa201689 [file] [log] [blame]
# { dg-options "-fstropping=upper" } #
BEGIN INT i := 10;
REF[,]INT a = i;
ASSERT (1 LWB a = 1 AND 1 UPB a = 1 AND 1 ELEMS a = 1);
ASSERT (2 LWB a = 1 AND 2 UPB a = 1 AND 2 ELEMS a = 1);
a[1,1] := a[1,1] + 1;
ASSERT (a[1,1] = 11)
END