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