diff options
Diffstat (limited to 'tests/conformance/8-runtime/pointer_index_n_traps.zc')
| -rw-r--r-- | tests/conformance/8-runtime/pointer_index_n_traps.zc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/conformance/8-runtime/pointer_index_n_traps.zc b/tests/conformance/8-runtime/pointer_index_n_traps.zc new file mode 100644 index 0000000..ccb7e3a --- /dev/null +++ b/tests/conformance/8-runtime/pointer_index_n_traps.zc @@ -0,0 +1,7 @@ +// expect error: zy: index 5 out of range (length 5) +// spec 8.4: p[n] is outside even though the block has slack (5 words in a 16-word block, whose payload is 11) +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(5); pn(at(p, 5)); return 0; } +// zc0: skip |