Predicate Make::Private::barrierSpec
Holds if barrier is a relevant barrier element with output specification outSpec.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate barrierSpec(BarrierElement barrier, SummaryComponentStack outSpec, string kind, string model)