C++: Remove redundant lines.

2026-04-24 00:05:14 +02:00 · 2024-08-16 15:17:45 +01:00
parent 7430fde8c6
commit 0e766aa99b
1 changed files with 1 additions and 5 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
@@ -688,11 +688,7 @@ private Overlap getExtentOverlap(MemoryLocation0 def, MemoryLocation0 use) {
    (
      // EntireAllocationMemoryLocation exactly overlaps itself.
      use instanceof EntireAllocationMemoryLocation and
-      (
-        def.getAnAllocation() = use.getAnAllocation() or
-        not exists(def.getAnAllocation()) or
-        not exists(def.getAnAllocation())
-      ) and
+      def.getAnAllocation() = use.getAnAllocation() and
      result instanceof MustExactlyOverlap
      or
      not use instanceof EntireAllocationMemoryLocation and