a

1 files changed, 8 insertions, 0 deletions

diff --git a/tests/programs/bounds_hi.zc b/tests/programs/bounds_hi.zc
new file mode 100644
index 0000000..d61179d
--- /dev/null
+++ b/tests/programs/bounds_hi.zc
@@ -0,0 +1,8 @@
+// the index is not the induction variable. i + 1 walks off the end.
+o3 fn main() {
+	fixed []int f = new(fixed []int, 4);
+	int n = len(f), i;
+	for (i = 0; i < n; i++) f[i + 1] = 1;
+	free(d*f);
+	return 0;
+}