From 79c31ea201118b5b8b4d24387f05ec84c8bf2bae Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sat, 18 Apr 2009 20:42:03 +0000
Subject: [PATCH] Added a new test based on a failure in sdlraster

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

diff --git a/testcases/automatic/usage-check-8.occ.test b/testcases/automatic/usage-check-8.occ.test
index 999bdaa..2416098 100644
--- a/testcases/automatic/usage-check-8.occ.test
+++ b/testcases/automatic/usage-check-8.occ.test
@@ -130,5 +130,11 @@ PROC m()
     INT x:
     c[9] ? x
 
+%PASS Safe use with unknown bound
+  INT x:
+  PAR
+    PAR i = 0 FOR x - 1
+      both.2(c[i]?, c[i + 1]!
+    read(c[x - 1]?)
 
 %