Predicate MakeImpl::Impl::MkStage::Stage::callEdgeReturn
Import path
import codeql.dataflow.internal.DataFlowImplpredicate callEdgeReturn(DataFlowCall call, DataFlowCallable c, RetNodeEx ret, ReturnKindExt kind, NodeEx out, boolean allowsFieldFlow, Ap ap)