From f05bff01e464c22fe7ef2aa24c88a1950e567400 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 16 Jan 2026 12:42:33 +0000 Subject: [PATCH] C++: Switch another 'DataFlowType' to 'Type'. --- cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll index c4f5885cf6d..99f13a81725 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll @@ -53,7 +53,7 @@ private module SourceVariables { * the type of this source variable should be thought of as "pointer * to `getType()`". */ - DataFlowType getType() { + Type getType() { if this.isGLValue() then result = base.getType() else result = getTypeImpl(base.getType(), ind - 1)