aboutsummaryrefslogtreecommitdiff
path: root/tests/programs/memory_bounds.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/programs/memory_bounds.zc')
-rw-r--r--tests/programs/memory_bounds.zc13
1 files changed, 8 insertions, 5 deletions
diff --git a/tests/programs/memory_bounds.zc b/tests/programs/memory_bounds.zc
index 0863d03..a929de3 100644
--- a/tests/programs/memory_bounds.zc
+++ b/tests/programs/memory_bounds.zc
@@ -1,13 +1,16 @@
+namespace;
+include rt;
+
// 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;
+ rt.put_n(*p); rt.put_c(32); *p = 7;
p = 0x7FFFFFFF;
- put_n(*p); put_c(32); *p = 9;
+ rt.put_n(*p); rt.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);
+ rt.put_n(*p); rt.put_c(32);
+ rt.put_n(raw_pick(0x100000000)); rt.put_c(32);
+ rt.put_n(raw_pick(0 - 0x100000000)); rt.put_c(10);
return 0;
}