diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll index 8d1ab46fa51..6a1e8246ca6 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll @@ -319,7 +319,8 @@ private module Cached { /** This is the local flow predicate that is exposed. */ cached predicate localFlowStepImpl(Node nodeFrom, Node nodeTo) { - localFlowStepCommon(nodeFrom, nodeTo) or + localFlowStepCommon(nodeFrom, nodeTo) + or // models-as-data summarized flow FlowSummaryImpl::Private::Steps::summaryThroughStepValue(nodeFrom, nodeTo, _) }