Predicate signature Make::DataFlowIntegration::WithState::guardChecksDefSig
Holds if the guard g validates the SSA definition def upon
evaluating to branch, blocking flow in the given state.
Import path
import codeql.ssa.Ssasignature predicate guardChecksDefSig(Guard g, Definition def, boolean branch, State state)