diff --git a/testcases/automatic/usage-check-1.occ.test b/testcases/automatic/usage-check-1.occ.test index d1dcdb6..61571f8 100644 --- a/testcases/automatic/usage-check-1.occ.test +++ b/testcases/automatic/usage-check-1.occ.test @@ -81,6 +81,10 @@ PROC m() %FAIL Two variables a[x] := 3 a[y] := 5 + +%PASS Multiplied variables + a[x*y] := 3 + a[(x*y) + 1] := 5 %PASS Modulo variable (c.d.) and a constant, safe a[x REM 3] := 3