JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

flan_destroyed_proc says it is the backstop for a caller holding a bare allocator record

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 12:08:47 +07:00
parent c116237621
commit 93ff39c01d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/flan_rt.c
View File

@ -1502,7 +1502,9 @@ flan_allocator *flan_arena_new(int64_t cap) {
/* What an allocator's procedure becomes once [flan_arena_destroy] has handed /* What an allocator's procedure becomes once [flan_arena_destroy] has handed
* its arena back. Every request traps, because there is nothing left to serve * its arena back. Every request traps, because there is nothing left to serve
* it from and answering NULL would read as exhaustion — which a retry handler * it from and answering NULL would read as exhaustion — which a retry handler
* that raises the budget would then retry for ever. */ * that raises the budget would then retry for ever. Flan code does not reach
* it: a stale Allocator value traps in flan_alloc_use and a stale container on
* its epoch first. It is the backstop for a caller holding the bare record. */
static void *flan_destroyed_proc(flan_allocator *a, int32_t mode, void *p, static void *flan_destroyed_proc(flan_allocator *a, int32_t mode, void *p,
int64_t old_size, int64_t size, int64_t align) { int64_t old_size, int64_t size, int64_t align) {
(void)a; (void)mode; (void)p; (void)old_size; (void)size; (void)align; (void)a; (void)mode; (void)p; (void)old_size; (void)size; (void)align;