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