diff options
Diffstat (limited to 'tests/conformance/4-statements/memdebug_use_after_free.zc')
| -rw-r--r-- | tests/conformance/4-statements/memdebug_use_after_free.zc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/conformance/4-statements/memdebug_use_after_free.zc b/tests/conformance/4-statements/memdebug_use_after_free.zc new file mode 100644 index 0000000..434aa5a --- /dev/null +++ b/tests/conformance/4-statements/memdebug_use_after_free.zc @@ -0,0 +1,10 @@ +// expect error: zy: use after free from line +// spec 4.11 +include rt; +void pn(int x) { rt.put_n(x); rt.put_c(10); } +memdebug on; +fn main() { + unchecked { int* p = rt.new(int); *p = 5; rt.free(p); pn(*p); } + return 0; +} +// zc0: skip |
