pub fn blocks_reachable_after_call(
tcx: TyCtxt<'_>,
caller: DefId,
call_block: BasicBlock,
) -> HashSet<BasicBlock>Expand description
Collect all basic blocks reachable after a call block’s normal return, or — for a non-call block such as a raw-pointer deref statement — after the block itself (all of its successors).