fix meet of intervals when they do not overlap

Fraunhofer-AISEC · Oct 30, 2024 · b61a970 · b61a970
1 parent d9cb986
commit b61a970
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt b/...analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt
@@ -215,6 +215,8 @@ sealed class LatticeInterval : Comparable<LatticeInterval> {
         return when {
             this is BOTTOM -> other
             other is BOTTOM -> this
+            // Check if the overlap at all
+            this.compareTo(other) != 0 -> BOTTOM
             this is Bounded && other is Bounded -> {
                 val newLower = max(this.lower, other.lower)
                 val newUpper = min(this.upper, other.upper)