a

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/programs/memory_bounds.zc b/tests/programs/memory_bounds.zc
new file mode 100644
index 0000000..0863d03
--- /dev/null
+++ b/tests/programs/memory_bounds.zc
@@ -0,0 +1,13 @@
+// raw word loads, stores, and stack picks outside memory follow portable semantics.
+unchecked int raw_pick(int depth) { return asm { depth @ #6 }; }
+unchecked fn main() {
+	int p = -1;
+	put_n(*p); put_c(32); *p = 7;
+	p = 0x7FFFFFFF;
+	put_n(*p); put_c(32); *p = 9;
+	p = 0x100000000;
+	put_n(*p); put_c(32);
+	put_n(raw_pick(0x100000000)); put_c(32);
+	put_n(raw_pick(0 - 0x100000000)); put_c(10);
+	return 0;
+}