C++: Delete redundant conjuncts.

github · Jul 16, 2024 · 083b9b7 · 083b9b7
1 parent 9504e0f
commit 083b9b7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll
@@ -189,14 +189,12 @@ private module Cached {
     // Chi instructions track virtual variables, and therefore a chi instruction is
     // conflated if it's associated with the aliased virtual variable.
     exists(Instruction input | instruction = getChi(input) |
-      instruction = getChi(input) and
       Alias::getResultMemoryLocation(input).getVirtualVariable() instanceof
         Alias::AliasedVirtualVariable
       or
       // A chi following an `UninitializedGroupInstruction` only happens when the virtual
       // variable of the grouped memory location is `{AllAliasedMemory}`.
       exists(Alias::GroupedMemoryLocation gml |
-        instruction = getChi(input) and
         input = uninitializedGroup(gml.getGroup()) and
         gml.getVirtualVariable() instanceof Alias::AliasedVirtualVariable
       )