Module visitor 

Backward path visitor — walks a finite path backward from a checkpoint and keeps only MIR items that can affect the required property.

The def-use layer lives in super::super::def_use; this module focuses on the path-level control flow decisions: calls, SCC exits, and path-condition branches.

Structs

BackwardSlicer

Entry point for backward path visiting.

Functions

collect_statement_uses 🔒

Collect all place-uses for a statement from dataflow edges and operands.

statement_can_refine 🔒

statement_invalidates_relevant 🔒

statement_keep_reason 🔒

terminator_definition_reason 🔒

terminator_is_path_condition 🔒

terminator_may_havoc 🔒

terminator_use_reason 🔒