From 30bc63ffe8dd41b93a8d09e325ec94a35cf0b80b Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Tue, 22 Jan 2008 22:15:48 +0000 Subject: [PATCH] Added another test case to test that read-indexes are not compared to each other --- testcases/automatic/usage-check-1.occ.test | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/testcases/automatic/usage-check-1.occ.test b/testcases/automatic/usage-check-1.occ.test index d0f6e22..e0e0b98 100644 --- a/testcases/automatic/usage-check-1.occ.test +++ b/testcases/automatic/usage-check-1.occ.test @@ -54,6 +54,10 @@ PROC m() a[0] := 5 a[1] := 6 +%PASS Overlapping constants in reading + a[1] := a[0] + a[2] := a[0] + %FAIL Two variables a[x] := 3 a[y] := 5