Module cache_array_length 

Structs

LoopFacts 🔒

Loop body facts that make caching unsafe: variables written, array length mutations and calls that may mutate state.

Statics

CACHE_ARRAY_LENGTH

Functions

call_may_mutate_state 🔒

Whether a call may write storage; array push/pop count since they change the length.

collect_length_reads 🔒

Collects <state dynamic array>.length reads compared against an identifier in expr.

is_array_like 🔒

state_dyn_array 🔒

The state variable expr names, if it is a dynamic array.