Module uninitialized_state_variables 

Structs

ReadVarCollector 🔒

Statics

UNINITIALIZED_STATE_VARIABLES

Functions

collect_block_writes_checked 🔒

collect_callee_funcs 🔒

Collect the set of internal function candidates that a call expression may invoke.

collect_expr_writes_checked 🔒

collect_lvalue_writes 🔒

collect_stmt_writes_checked 🔒

mark_storage_args 🔒

For each call argument, if ANY resolved overload has a storage parameter at that position, treat the argument as a write target.