Predicate MakeImplStage1::ImplStage1::Stage1::callMayFlowThroughRev
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate callMayFlowThroughRev(Call call)import codeql.dataflow.internal.DataFlowImplStage1predicate callMayFlowThroughRev(Call call)