diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 19:36:30 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 19:36:30 +0330 |
| commit | 7e9abb014169b77cba5174ae92ddc3d1eca4d667 (patch) | |
| tree | b7a9b0dd17c1c9fea7b94f9ba7ad115bf2f7470b /tests/conformance/8-runtime/pointer_index_n_traps_memdebug.zc | |
| parent | merge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bd (diff) | |
| parent | rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ... (diff) | |
merge work/exactsize: exact-size heap bounds
Diffstat (limited to 'tests/conformance/8-runtime/pointer_index_n_traps_memdebug.zc')
| -rw-r--r-- | tests/conformance/8-runtime/pointer_index_n_traps_memdebug.zc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/conformance/8-runtime/pointer_index_n_traps_memdebug.zc b/tests/conformance/8-runtime/pointer_index_n_traps_memdebug.zc new file mode 100644 index 0000000..49d914a --- /dev/null +++ b/tests/conformance/8-runtime/pointer_index_n_traps_memdebug.zc @@ -0,0 +1,8 @@ +// expect error: zy: index 11 out of range (length 11) +// spec 8.4 and 4.11: the exact length holds under memdebug too (11 words, a 16-word block) +memdebug on; +include rt; +void pn(int x) { rt.put_n(x); rt.put_c(10); } +int at(word* p, int i) { p[i] = 7; return p[i]; } +fn main() { word* p = rt.new(11); pn(at(p, 10)); pn(at(p, 11)); return 0; } +// zc0: skip |