[fix, perf, WIP] Removed base check during constant pointer resolution.

Author: S1eGa

lib/Core/Executor.cpp

@@ -6307,16 +6307,6 @@ void Executor::executeMemoryOperation(
     }
 
     ref<Expr> inBounds = mo->getBoundsCheckPointer(address, bytes);
-    ref<Expr> baseInBounds = Expr::createTrue();
-
-    if (base != address || size != bytes) {
-      baseInBounds =
-          AndExpr::create(baseInBounds, mo->getBoundsCheckPointer(base, size));
-      baseInBounds = AndExpr::create(
-          baseInBounds, Expr::createIsZero(mo->getOffsetExpr(base)));
-    }
-
-    inBounds = AndExpr::create(inBounds, baseInBounds);
 
     inBounds = optimizer.optimizeExpr(inBounds, true);
     inBounds = Simplificator::simplifyExpr(state->constraints.cs(), inBounds)