fix if offsetVarAndGepTypePair.second is nullptr since it is from Ext…

…ernalAPI
SVF-tools · Nov 17, 2023 · 47b4181 · 47b4181
1 parent e4faa11
commit 47b4181
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/svf/lib/MemoryModel/AccessPath.cpp b/svf/lib/MemoryModel/AccessPath.cpp
@@ -112,6 +112,9 @@ APOffset AccessPath::computeConstantByteOffset() const
         ///     i = 0, type: [10 x i8]*, PtrType, op = 0
         ///     i = 1, type: [10 x i8], ArrType, op = 8
         const SVFType* type = offsetVarAndGepTypePairs[i].second;
+        /// if offsetVarAndGepTypePairs[i].second is nullptr, it means
+        /// this GepStmt comes from external API, assert
+        assert(type && "this GepStmt comes from ExternalAPI cannot call this api");
         const SVFType* type2 = type;
         if (const SVFArrayType* arrType = SVFUtil::dyn_cast<SVFArrayType>(type))
         {