Predicate Make::DataFlowIntegration::BarrierGuardDefWithState::getABarrierNode
Gets a node that is safely guarded by the given guard check.
Import path
import codeql.ssa.SsaNode getABarrierNode(State state)Gets a node that is safely guarded by the given guard check.
import codeql.ssa.SsaNode getABarrierNode(State state)