Predicate MakeImpl::Impl::MkStage::Stage::callEdgeReturn
Import path
import codeql.dataflow.internal.DataFlowImplpredicate callEdgeReturn(Call call, Callable c, RetNd ret, ReturnKindExt kind, Nd out, boolean allowsFieldFlow)import codeql.dataflow.internal.DataFlowImplpredicate callEdgeReturn(Call call, Callable c, RetNd ret, ReturnKindExt kind, Nd out, boolean allowsFieldFlow)