Predicate Make::Private::barrierGuardSpec
Holds if barrierGuard is a relevant barrier guard element with input specification inSpec.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate barrierGuardSpec(BarrierGuardElement barrierGuard, SummaryComponentStack inSpec, string acceptingValue, string kind, string model)