Array[T, 0] makes allocator panic #38

Closed
opened 2026-07-03 10:05:35 +02:00 by st · 0 comments
Owner

Empty varargs sum() → zero-length Array[i64, 0] → the Zig runtime allocator panics (one-past-end payload index of a header-only allocation). The tree-walker never hit it (it doesn't allocate) — exactly the kind of thing a differential oracle catches. It's a zero-length-array runtime fix, orthogonal to this cleanup; I left it noted and uncovered.

Empty varargs sum() → zero-length Array[i64, 0] → the Zig runtime allocator panics (one-past-end payload index of a header-only allocation). The tree-walker never hit it (it doesn't allocate) — exactly the kind of thing a differential oracle catches. It's a zero-length-array runtime fix, orthogonal to this cleanup; I left it noted and uncovered.
st closed this issue 2026-07-07 11:39:25 +02:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
st/amelie#38
No description provided.