Added a new test based on a failure in sdlraster

2009-04-18 20:42:03 +00:00 · 2009-04-18 20:42:03 +00:00 · 79c31ea201
commit 79c31ea201
parent 902570f6cd
1 changed files with 6 additions and 0 deletions
--- 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]?)

 %