Added a testcase which I think highlights a problematic bug

2009-02-09 15:55:13 +00:00 · 2009-02-09 15:55:13 +00:00 · 7cf83512c5
commit 7cf83512c5
parent 0c975dd2b4
1 changed files with 10 additions and 0 deletions
--- a/testcases/automatic/usage-check-7.occ.test
+++ b/testcases/automatic/usage-check-7.occ.test
@ -74,6 +74,16 @@ PROC m ()
          x := 4
        TRUE
          SKIP
+%FAIL Unsafe after possible branches of replicated PAR
+    PAR i = 0 FOR 10
+      SEQ
+        IF
+          i = 0
+            x := 3
+          TRUE
+            SKIP
+        x := 2
+
 %FAIL Unsafe in possible branch of replicated PAR vs normal PAR
    PAR i = 0 FOR 10
      PAR