diff options
Diffstat (limited to 'tests/i/memory-reallocation/notes.md')
| -rw-r--r-- | tests/i/memory-reallocation/notes.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/i/memory-reallocation/notes.md b/tests/i/memory-reallocation/notes.md new file mode 100644 index 0000000..46560f5 --- /dev/null +++ b/tests/i/memory-reallocation/notes.md @@ -0,0 +1,5 @@ +# Trace notes + +Human review: pending. + +This case exercises explicit memory extensions. REALLOC(null, 0) returns null; REALLOC(null, 16) allocates. The record's 12 and 34 survive growth, and 12 survives shrinking to one INTEGER. A SIZE_MAX request fails without changing the pointer or its stored 12; a subsequent write of 56 survives resizing. A zero resize frees the block and returns null. Resizing its released address throws; a stack pointer throws even at zero size. C int 71 survives reallocation after an allocation returned from a function. Invalid resizing inside a function unwinds to its caller; another invalid free is caught inside that catch. A STRING literal is rejected as untracked storage. The final nested allocation/resize/free has no output. |