Predicate MakeImpl::Impl::MkStage::Stage::nodeMayUseSummary
Holds if ap
is recorded as the summary context for flow reaching node
and remains relevant for the following pruning stage.
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate nodeMayUseSummary(NodeEx n, FlowState state, Ap ap)