Module write_after_write 

Enums

Flow 🔒

Whether control flow continues past this statement/block.

Statics

WRITE_AFTER_WRITE

Functions

check_block 🔒

check_stmt 🔒

collect_reads 🔒

Remove any state variable mentioned in expr from pending (it was read). For nested assignments, delegates to process_expr so writes are handled correctly.

process_assignment_lhs 🔒

Recursively handle a plain-= assignment LHS, tracking each component as a write. For tuple destructuring (x, y) = ..., each element is processed independently.

process_expr 🔒

Process an expression that appears as a statement, tracking writes and reads.

simple_state_var_id 🔒

Returns Some(id) if the expression is a bare state variable identifier (no indexing/member).

walk_named_args 🔒

Walk named call arguments (e.g. {value: expr, gas: expr}) for reads and writes.