diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-17 05:33:33 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-17 05:33:33 +0000 |
| commit | 4e22f464387725a5a282f3d72e11cfb694a31a5a (patch) | |
| tree | 17fed09b30633e6aae583f490a0ad9c0c95fb045 /tests/iii | |
| parent | 4dd85fd6ecd9a67e5c2b68380873e6e114714355 (diff) | |
feat(memory): add checked REALLOC with failure preservation
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Diffstat (limited to 'tests/iii')
| -rw-r--r-- | tests/iii/memory-size-type/case.json | 4 | ||||
| -rw-r--r-- | tests/iii/memory-size-type/program.cps | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/tests/iii/memory-size-type/case.json b/tests/iii/memory-size-type/case.json index 9753757..6354ba8 100644 --- a/tests/iii/memory-size-type/case.json +++ b/tests/iii/memory-size-type/case.json @@ -3,6 +3,10 @@ { "reason": "Allocation\\ size\\ must\\ be\\ INTEGER\\ or\\ a\\ C\\ integer", "line": 1 + }, + { + "reason": "Allocation size must be INTEGER or a C integer", + "line": 4 } ] } diff --git a/tests/iii/memory-size-type/program.cps b/tests/iii/memory-size-type/program.cps index 0215fef..d76a7bf 100644 --- a/tests/iii/memory-size-type/program.cps +++ b/tests/iii/memory-size-type/program.cps @@ -1 +1,4 @@ MALLOC(1.5) +TYPE Raw = C_TYPE("void*") +DECLARE P : Raw +REALLOC(P, TRUE) |