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