diff --git a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
index f2eb644f5..22c78bdcb 100644
--- a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
+++ b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
@@ -550,6 +550,8 @@ void SVFIR2ItvExeState::translateLoad(const LoadStmt *load)
     {
         VAddrs &addrs = getVAddrs(rhs);
         assert(!getVAddrs(rhs).empty());
+        _es[lhs] = IntervalValue::bottom();
+        getVAddrs(lhs).setBottom();
         for (const auto &addr: addrs)
         {
             u32_t objId = getInternalID(addr);