From 571815c57104f6535033df7d9076e101013a6429 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Thu, 5 Feb 2009 16:27:57 +0000
Subject: [PATCH] Added another test which shows a problem with the usage
 checking

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

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