From 47be4abd20ba6a5b19b965ae286474d75d955ed2 Mon Sep 17 00:00:00 2001
From: Ethan Lin <eeeeethanl@gmail.com>
Date: Sun, 27 Oct 2024 16:12:27 +1100
Subject: [PATCH] refactored getGepObjAddrs: remove if statement for nullptr

---
 svf/lib/AE/Core/AbstractState.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/svf/lib/AE/Core/AbstractState.cpp b/svf/lib/AE/Core/AbstractState.cpp
index 6bbfd1d4e..9a4ba8e5d 100644
--- a/svf/lib/AE/Core/AbstractState.cpp
+++ b/svf/lib/AE/Core/AbstractState.cpp
@@ -165,10 +165,6 @@ AddressValue AbstractState::getGepObjAddrs(u32_t pointer, IntervalValue offset)
         AbstractValue addrs = (*this)[pointer];
         for (const auto& addr : addrs.getAddrs())
         {
-            if (isNullPtr(addr)) {
-                gepAddrs.insert(BlackHoleAddr);
-                continue;
-            }
             s64_t baseObj = AbstractState::getInternalID(addr);
             assert(SVFUtil::isa<ObjVar>(PAG::getPAG()->getGNode(baseObj)) && "Fail to get the base object address!");
             NodeID gepObj = PAG::getPAG()->getGepObjVar(baseObj, i);