Remove unnecessary check in cmpFieldAccess

zacikpa · Dec 3, 2023 · a447533 · a447533
1 parent c87278d
commit a447533
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/diffkemp/simpll/DifferentialFunctionComparator.cpp b/diffkemp/simpll/DifferentialFunctionComparator.cpp
@@ -1440,12 +1440,6 @@ int DifferentialFunctionComparator::cmpFieldAccess(
     if (!(GEPL && GEPR))
         RETURN_WITH_LOG(1);
 
-    // If we previously ignored allocation of memory that any of the two GEPs
-    // point to, fail (cmpValues would compare their pointer operands as equal).
-    if (hasIgnoredAllocaAsPtrOperand(GEPL)
-        || hasIgnoredAllocaAsPtrOperand(GEPR))
-        RETURN_WITH_LOG(1);
-
     if (!GEPL->hasAllConstantIndices() || !GEPR->hasAllConstantIndices())
         RETURN_WITH_LOG(1);