diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll index 12e54b2832d..367c8ec1177 100644 --- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll +++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll @@ -56,6 +56,7 @@ module Input implements InputSig { | arg = repeatStars(c.getIndirectionIndex() - 1) + formatQualifiedName(namespace, type, base) or + // TODO: This disjunct can be removed once we stop supporting unqualified field names. arg = repeatStars(c.getIndirectionIndex() - 1) + base ) or