From 4503c625b4c1682eae76948b71bf15d5bad689ff Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 27 Jan 2026 19:02:28 +0000 Subject: [PATCH] C++: Implement copilot suggestions. --- cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 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 7877c55d200..64840c84c78 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 @@ -16,7 +16,7 @@ import SsaImplCommon private module SourceVariables { /** - * Holds if `store` is the `StoreInstruction` generated by an postfix + * Holds if `store` is the `StoreInstruction` generated by n postfix * increment or decrement operation `e`, and `postCrement` is the operand * that represents the use of the evaluated value of `e`. */ @@ -686,7 +686,7 @@ class FinalParameterUse extends UseImpl, TFinalParameterUse { } pragma[nomagic] - private predicate hasBaseSourceVariableAndIndirectrion(BaseIRVariable v, int indirection) { + private predicate hasBaseSourceVariableAndIndirection(BaseIRVariable v, int indirection) { v.getIRVariable().getAst() = p and indirection = this.getIndirection() } @@ -694,7 +694,7 @@ class FinalParameterUse extends UseImpl, TFinalParameterUse { override NormalSourceVariable getSourceVariable() { exists(BaseIRVariable v, int indirection | sourceVariableHasBaseAndIndex(result, v, indirection) and - this.hasBaseSourceVariableAndIndirectrion(v, indirection) + this.hasBaseSourceVariableAndIndirection(v, indirection) ) } }