diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 15:37:28 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 15:39:03 +0330 |
| commit | a275919ea9141a9d8c966ccef040666d9bda3b60 (patch) | |
| tree | 5de0bf209aba110f3c80499bb1ceaa5068089b0a /tests/conformance/4-statements/unchecked_stmt_block.zc | |
| parent | todo: record each agent's state at the end of the session and the merge order (diff) | |
agent/spec-conformance: unmerged work from previous session
Diffstat (limited to 'tests/conformance/4-statements/unchecked_stmt_block.zc')
| -rw-r--r-- | tests/conformance/4-statements/unchecked_stmt_block.zc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/conformance/4-statements/unchecked_stmt_block.zc b/tests/conformance/4-statements/unchecked_stmt_block.zc new file mode 100644 index 0000000..eca1a38 --- /dev/null +++ b/tests/conformance/4-statements/unchecked_stmt_block.zc @@ -0,0 +1,9 @@ +// expect: ok/ +// spec 4.9 and 8.3: in unchecked code a second free of an object is ignored +include rt; +void pn(int x) { rt.put_n(x); rt.put_c(10); } +fn main() { + unchecked { int* p = rt.new(int); rt.free(p); rt.free(p); } + rt.put_s("ok"); rt.put_c(10); + return 0; +} |