Added another usage check tests
This commit is contained in:
parent
979eec927a
commit
d6530051ab
|
@ -58,5 +58,12 @@ PROC m()
|
||||||
SEQ
|
SEQ
|
||||||
i, j := 1, 2
|
i, j := 1, 2
|
||||||
foo(a[i], a[j])
|
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
|
||||||
|
|
||||||
%
|
%
|
||||||
|
|
Loading…
Reference in New Issue
Block a user