Predicate MakeImpl::Impl::MkStage::Stage::returnMayFlowThrough
Import path
import codeql.dataflow.internal.DataFlowImplpredicate returnMayFlowThrough(RetNodeEx ret, Ap argAp, Ap ap, ReturnKindExt kind)import codeql.dataflow.internal.DataFlowImplpredicate returnMayFlowThrough(RetNodeEx ret, Ap argAp, Ap ap, ReturnKindExt kind)