Added a few more tests that helped me track down a bug I was introducing

2009-02-09 22:41:40 +00:00 · 2009-02-09 22:41:40 +00:00 · 6818cdc114
commit 6818cdc114
parent a30e8cbde5
1 changed files with 14 additions and 0 deletions
--- a/testcases/automatic/usage-check-7.occ.test
+++ b/testcases/automatic/usage-check-7.occ.test
@ -83,6 +83,20 @@ PROC m ()
          TRUE
            SKIP
        x := 2
+%FAIL Unsafe without branch in replicated PAR
+    PAR i = 0 FOR 10
+      SEQ
+        x := 2
+%FAIL Unsafe with dummy branch in replicated PAR
+    PAR i = 0 FOR 10
+      SEQ
+        IF
+          i = 3
+            SKIP
+          TRUE
+            SKIP
+        x := 2
+

 %FAIL Unsafe in possible branch of replicated PAR vs normal PAR
    PAR i = 0 FOR 10