Predicate MakeImpl::Impl::MkStage::Stage::callMayFlowThroughRev
Import path
import codeql.dataflow.internal.DataFlowImplpredicate callMayFlowThroughRev(Call call)import codeql.dataflow.internal.DataFlowImplpredicate callMayFlowThroughRev(Call call)