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