From 4acae4a2d1b560017ac10ff61043b23e48136eef Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 1 Mar 2022 16:56:25 +0000 Subject: [PATCH] C++: Remove redundant conjunct. --- .../aliased_ssa/gvn/internal/ValueNumberingInternal.qll | 1 - 1 file changed, 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll index fae12ea1f14..fdb645e03f0 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll @@ -155,7 +155,6 @@ private predicate fieldAddressValueNumber( TValueNumber objectAddress ) { instr.getEnclosingIRFunction() = irFunc and - instr.getField() = field and unique( | | instr.getField()) = field and tvalueNumber(instr.getObjectAddress()) = objectAddress }