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)