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)