From f26b3309a38a0510d70a02c2a312871d52318572 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 29 Jan 2008 11:39:04 +0000
Subject: [PATCH] Added a new file of testcases for testing passed parameters

---
 checks/ArrayUsageCheckTest.hs              |  1 +
 testcases/automatic/usage-check-5.occ.test | 55 ++++++++++++++++++++++
 2 files changed, 56 insertions(+)
 create mode 100644 testcases/automatic/usage-check-5.occ.test

diff --git a/checks/ArrayUsageCheckTest.hs b/checks/ArrayUsageCheckTest.hs
index 0cb57fa..514dda1 100644
--- a/checks/ArrayUsageCheckTest.hs
+++ b/checks/ArrayUsageCheckTest.hs
@@ -827,6 +827,7 @@ ioqcTests
          ,automaticTest "testcases/automatic/usage-check-2.occ.test"
          ,automaticTest "testcases/automatic/usage-check-3.occ.test"
          ,automaticTest "testcases/automatic/usage-check-4.occ.test"
+         ,automaticTest "testcases/automatic/usage-check-5.occ.test"
         ]
       ,return $ qcOmegaEquality ++ qcOmegaPrune)
 
diff --git a/testcases/automatic/usage-check-5.occ.test b/testcases/automatic/usage-check-5.occ.test
new file mode 100644
index 0000000..39ed581
--- /dev/null
+++ b/testcases/automatic/usage-check-5.occ.test
@@ -0,0 +1,55 @@
+-- This file tests passing (plain and array) variables to functions
+-- Four unknown variables are available; x, y, z.
+-- Two arrays are automatically declared; a (size 10) and b (size 12)
+
+PROC pR(VAL INT n)
+  SKIP
+:
+
+PROC pRRW(VAL INT n, VAL INT o, INT p)
+  SKIP
+:
+
+INT,INT FUNCTION fRR(VAL INT m, VAL INT n)
+  VALOF
+    SKIP
+    RESULT m,n
+:
+
+PROC p(INT x, y, z)
+  [10]INT a:
+  [12]INT b:
+%%
+:
+
+PROC m()
+  SKIP
+:
+
+%PASS Distinct plain variables passed to one call
+  pRRW(x,y,z)
+
+%PASS Safely overlapping plain variables passed to one call
+  pRRW(x,x,z)
+
+%FAIL Risky overlapping plain variables passed to one call
+  pRRW(x,y,x)
+  
+%PASS Safely overlapping plain variables passed to two calls
+  PAR
+    pRRW(x,x,z)
+    pRRW(x,x,y)
+
+%FAIL Risky overlapping plain variables passed to two calls (#1)
+  PAR
+    pRRW(x,y,z)
+    pRRW(x,y,z)
+
+%FAIL Risky overlapping plain variables passed to two calls (#2)
+  PAR
+    pRRW(x,y,z)
+    pRRW(z,y,x)
+    
+-- TODO array versions of these
+
+%