C++: Remove redundant conjunct.

2025-12-23 12:16:33 +01:00 · 2022-03-01 16:56:25 +00:00
parent 52dbf2c787
commit 4acae4a2d1
1 changed files with 0 additions and 1 deletions
--- 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
 }