Module cache_array_length 

Structs

LengthRead 🔒

LoopFacts 🔒

Statics

CACHE_ARRAY_LENGTH

Functions

array_length_mutated 🔒

call_is_safe_to_cache 🔒

call_may_mutate_state 🔒

collect_condition_length_reads 🔒

collect_expr_facts 🔒

collect_state_array_length_read 🔒

collect_stmt_facts 🔒

collect_written_vars 🔒

expr_is_loop_invariant 🔒

for_loop_parts 🔒

is_array_like 🔒

is_comparison 🔒

is_state_array 🔒

variable_resolution 🔒