diff --git a/testcases/automatic/usage-check-6.occ.test b/testcases/automatic/usage-check-6.occ.test index 04644b5..92b8ca5 100644 --- a/testcases/automatic/usage-check-6.occ.test +++ b/testcases/automatic/usage-check-6.occ.test @@ -58,5 +58,12 @@ PROC m() SEQ i, j := 1, 2 foo(a[i], a[j]) +%PASS Distinct array variables, used in assignment + PROC foo(INT x, INT y) + x, y := y, x + : + SEQ + i, j := 1, 2 + a[i], a[j] := 3, 4 %