Skip to main content

block_dominates

rapx::verify::call_summary::interprocedural

Function block_dominates 

Source 
fn block_dominates(body: &Body<'_>, a: BasicBlock, b: BasicBlock) -> bool
Expand description

Whether block a dominates block b (every path from the entry to b passes through a). Simple BFS: a dominates b iff b is not reachable from the entry when a is skipped.