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)