Merge branch 'main' into work/spec

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/programs/bounds_fixed.zc b/tests/programs/bounds_fixed.zc
new file mode 100644
index 0000000..0b3f476
--- /dev/null
+++ b/tests/programs/bounds_fixed.zc
@@ -0,0 +1,17 @@
+namespace;
+include rt;
+
+// a fixed array T[n] with a variable index is checked against n. a loop whose
+// test is the constant n proves the index and drops the check; a constant
+// index is checked when it is compiled.
+int main() {
+	int[6] t; int i, s = 0, k = 6;
+	for (i = 0; i < 6; i++) t[i] = i * i;
+	for (i = 0; i < 6; i++) s = s + t[i];
+	rt.put_n(s); rt.put_c(10);
+	i = 2; rt.put_n(t[i] + t[5]); rt.put_c(10);
+	i = 0;
+	while (i <= k) { s = t[i]; i++; }
+	rt.put_s("not reached\n");
+	return 0;
+}