Added another test which shows a problem with the usage checking

2009-02-05 16:27:57 +00:00 · 2009-02-05 16:27:57 +00:00 · 571815c571
commit 571815c571
parent 2120a294ed
1 changed files with 9 additions and 0 deletions
--- a/testcases/automatic/usage-check-6.occ.test
+++ b/testcases/automatic/usage-check-6.occ.test
@ -107,6 +107,15 @@ PROC m()
        a[k] := 1
      TRUE
        SKIP
+%PASS IF, safe indirectly over replication 2B
+  PAR k = 0 FOR 10
+    IF
+      k = 3
+        a[0] := 1
+      k > 0
+        a[k] := 1
+      TRUE
+        SKIP
 %PASS IF, safe indirectly over replication 3
  PAR k = 0 FOR 9
    IF