Module executor: a call's frame counted in the event's room by a table, as gas is (PURE_CALL_*: 256 a frame, 64 a value of its stack's height, 8 a local, 128 a loop it nests, 1024 a list of its own, 128 a held value, 16 a register; each at least what it stands for, checked as it compiles), not by the implementation's sizes: a module's calls fail at the same depth on every machine and build; a call's list let go is kept for the next calls unless what it keeps empty passes what a frame counts for it

1 files changed, 2 insertions, 0 deletions

diff --git a/core/module-list.c b/core/module-list.c
index 67fbbdb..57e44c4 100644
--- a/core/module-list.c
+++ b/core/module-list.c
@@ -1580,6 +1580,8 @@ static bool logged(PureList *list, const PureUndo *undo) {
 
 /* ---- The list */
 
+_Static_assert(sizeof(PureList) <= PURE_CALL_LIST, "a call's list counts at least its own bytes (module.h)");
+
 PureList *pure_list_new(unsigned fields, const uint8_t *kinds) {
     if (fields > 16) return NULL;
     PureList *list = calloc(1, sizeof(*list));