From d93de54397033b2684e99d7399f0793037bd6f7b Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 19 May 2026 12:16:37 +0100 Subject: [PATCH] C++: Consistent use of 'this.getIndirection()' in 'toString'. --- cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 947506df11d..4b21e83664c 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 @@ -136,7 +136,7 @@ private module SourceVariables { NormalSourceVariable() { this = TNormalSourceVariable(base, ind) } final override string toString() { - if ind = 0 + if this.getIndirection() = 0 then result = "&" + base.toString() else result = repeatStars(this.getIndirection() - 1) + base.toString() } @@ -159,7 +159,7 @@ private module SourceVariables { } final override string toString() { - if ind = 0 + if this.getIndirection() = 0 then result = "&" + base.toString() + " [before crement]" else result = repeatStars(this.getIndirection() - 1) + base.toString() + " [before crement]" }