Skip to main content

mark_predecessors

Function mark_predecessors 

Source
pub fn mark_predecessors(hir: &mut HIR)
Expand description

DFS from entry, for each successor add the predecessor’s id to the successor’s preds set.

Note: This only visits direct successors (via each_terminal_successor), not fallthrough blocks. Fallthrough blocks are reached indirectly via Goto terminals from within branching blocks, matching the TypeScript markPredecessors behavior.