From 58b63174c96fedf3063bc2f921d393c2be925279 Mon Sep 17 00:00:00 2001 From: idrissrio Date: Mon, 14 Jul 2025 15:37:02 +0200 Subject: [PATCH] C++: Fix VariableAddress instruction association for unnamed parameters --- .../ir/implementation/raw/internal/TranslatedFunction.qll | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll index 83736ae98d04..3d12d38953c6 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll @@ -857,7 +857,12 @@ class TranslatedParameterReadEffect extends TranslatedReadEffect, TTranslatedPar } final override IRVariable getInstructionVariable(InstructionTag tag) { - tag = OnlyInstructionTag() and + ( + tag = OnlyInstructionTag() or + tag = InitializerStoreTag() or + tag = InitializerVariableAddressTag() or + tag = InitializerIndirectStoreTag() + ) and result = getIRUserVariable(this.getFunction(), param) } }