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