Predicate Make::Private::Steps::summaryReadStep
Holds if there is a read step of content c from pred to succ, which
is synthesized from a flow summary.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryReadStep(SummaryNode pred, ContentSet c, SummaryNode succ)