Predicate SourceSinkInterpretationInput::barrierGuardElement
Holds if an external barrier guard specification exists for n with input
specification input, accepting value acceptingValue, and kind kind.
Import path
import semmle.go.dataflow.internal.FlowSummaryImplpredicate barrierGuardElement(Element e, string input, AcceptingValue acceptingValue, string kind, Provenance provenance, string model)