From a1cb4199023963b2dcb15fb15b0d0606d4b74943 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Wed, 15 May 2024 08:52:56 +0100 Subject: [PATCH] C++: Delete duplicated case in IR generation. --- .../code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll | 3 --- 1 file changed, 3 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll index a43595b08e08..ef7251e8e8ad 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll @@ -1844,9 +1844,6 @@ class TranslatedAssignExpr extends TranslatedNonConstantExpr { child = this.getRightOperand() and result = this.getLeftOperand().getFirstInstruction(kind) or - child = this.getRightOperand() and - result = this.getLeftOperand().getFirstInstruction(kind) - or kind instanceof GotoEdge and child = this.getLeftOperand() and result = this.getInstruction(AssignmentStoreTag())