suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added some more testcases for array usage checking that involve complicated expressions

Browse Source
This commit is contained in:
Neil Brown 2008-02-11 14:40:28 +00:00
parent 2ea7e15570
commit c23c575f73
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
testcases/automatic/usage-check-1.occ.test
View File

@ -143,4 +143,34 @@ PROC m()
x := 2
y := 3
%PASS PAR with unuseable (but safe) division #1
a[x / y] := 3
a[(x / y) + 1] := 3
%PASS PAR with unuseable (but safe) division #2
a[x / (y * z)] := 3
a[(x / (z * y)) + 1] := 3
%PASS PAR with confusing multiplied indices #1
a[x * y] := 3
a[(y * x) + 1] := 3
%PASS PAR with confusing multiplied indices #2
a[(x * y) * z] := 3
a[((y * z) * x) + 1] := 3
a[(y * (z * x)) + 2] := 3
a[((x * z) * y) + 3] := 3
%PASS PAR with confusing multiplied indices #3
a[(x * y) / 3] := 3
a[((y * x) / 3) + 1] := 3
%PASS PAR with confusing multiplied indices #4
a[x*(x+y)] := 3
a[((x*x) + (x*y)) + 1] := 3
%PASS PAR with confusing multiplied indices #5
a[(x REM z)*(x+y)] := 3
a[(((x REM z)*x) + ((x REM z)*y)) + 1] := 3
%