Predicate MakeImpl::Impl::Stage1::callMayFlowThroughRev
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate callMayFlowThroughRev(DataFlowCall call)
import codeql.dataflow.internal.DataFlowImpl
predicate callMayFlowThroughRev(DataFlowCall call)