From 7cf83512c57838586ad5f5407ecbb718155c8f12 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 9 Feb 2009 15:55:13 +0000
Subject: [PATCH] Added a testcase which I think highlights a problematic bug

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

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