Predicate MakeImpl::Impl::MkStage::Stage::returnMayFlowThrough
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate returnMayFlowThrough(RetNodeEx ret, ReturnKindExt kind)
import codeql.dataflow.internal.DataFlowImpl
predicate returnMayFlowThrough(RetNodeEx ret, ReturnKindExt kind)