Predicate signature Make::DataFlowIntegrationInputSig::guardDirectlyControlsBlock
Holds if guard directly controls block bb upon evaluating to branch.
signature predicate guardDirectlyControlsBlock(Guard guard, BasicBlock bb, boolean branch)Holds if guard directly controls block bb upon evaluating to branch.
signature predicate guardDirectlyControlsBlock(Guard guard, BasicBlock bb, boolean branch)