Module cache_array_length 

Structs

LengthRead 🔒

LoopFacts 🔒

Statics

CACHE_ARRAY_LENGTH

Functions

array_length_mutated 🔒

call_is_safe_to_cache 🔒

call_may_mutate_state 🔒

call_return_type 🔒

collect_condition_length_reads 🔒

collect_expr_facts 🔒

collect_length_reads 🔒

collect_stmt_facts 🔒

collect_written_vars 🔒

expr_is_loop_invariant 🔒

expr_type 🔒

for_loop_parts 🔒

function_return_type 🔒

is_array_like 🔒

is_comparison 🔒

struct_field_type 🔒

variable_resolution 🔒