Predicate Make::DataFlowIntegration::BarrierGuard::getABarrierNode

Gets a node that is safely guarded by the given guard check.

Import path

import codeql.ssa.Ssa

Node getABarrierNode()