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(PAG::getPAG()->getGNode(baseObj)) && "Fail to get the base object address!"); NodeID gepObj = PAG::getPAG()->getGepObjVar(baseObj, i);