tests/programs/memory_bounds.zc


1
2
3
4
5
6
7
8
9
10
11
12
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;
}