refactored getGepObjAddrs: remove if statement for nullptr

SVF-tools · Oct 27, 2024 · 47be4ab · 47be4ab
1 parent 6db9e72
commit 47be4ab
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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);