From 4e22f464387725a5a282f3d72e11cfb694a31a5a Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 17 Oct 2026 05:33:33 +0000 Subject: feat(memory): add checked REALLOC with failure preservation Co-Authored-By: Claude Fable 5.1 --- tests/iii/memory-size-type/case.json | 4 ++++ tests/iii/memory-size-type/program.cps | 3 +++ 2 files changed, 7 insertions(+) (limited to 'tests/iii') 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) -- cgit v1.3.1-4-g156e