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.DataFlowImplpredicate nodeMayUseSummary(NodeEx n, FlowState state, Ap ap)