C++: Avoid outputting a cartesian product in AliasedSSA's getOverlap.

2026-04-27 17:55:19 +02:00 · 2024-08-14 10:53:25 +01:00
parent c0a69f197d
commit 7430fde8c6
1 changed files with 5 additions and 0 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,6 +688,11 @@ 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
      result instanceof MustExactlyOverlap
      or
      not use instanceof EntireAllocationMemoryLocation and