From 6818cdc114d79f246a1343577b049f6041d2e8e0 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 9 Feb 2009 22:41:40 +0000
Subject: [PATCH] Added a few more tests that helped me track down a bug I was
 introducing

---
 testcases/automatic/usage-check-7.occ.test | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/testcases/automatic/usage-check-7.occ.test b/testcases/automatic/usage-check-7.occ.test
index d309658..209a6b0 100644
--- 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