dump value when assert fails

SVF-tools · Dec 21, 2023 · 40a36fb · 40a36fb
1 parent c13f87e
commit 40a36fb
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/svf-llvm/include/SVF-LLVM/LLVMUtil.h b/svf-llvm/include/SVF-LLVM/LLVMUtil.h
@@ -126,6 +126,10 @@ static inline Type* getPtrElementType(const PointerType* pty)
 #endif
 }
 
+std::string dumpValue(const Value* val);
+
+std::string dumpType(const Type* type);
+
 /// Infer type based on llvm value, this is for the migration to opaque pointer
 /// please refer to: https://llvm.org/docs/OpaquePointers.html#migration-instructions
 static inline Type *getPointeeType(const Value *value) {
@@ -166,7 +170,7 @@ static inline Type *getPointeeType(const Value *value) {
         // e.g., for `%call = call ptr @_Znwm(i64 noundef 8)`, we return i64
         return func->getFunctionType();
     } else {
-        assert(false && "Unknown llvm Type, cannot get Ptr Element Type");
+        assert(false && (dumpValue(value) + ": Unknown llvm Type, cannot get Ptr Element Type").c_str());
         abort();
     }
 }
@@ -560,9 +564,7 @@ bool VCallInCtorOrDtor(const CallBase* cs);
 bool isSameThisPtrInConstructor(const Argument* thisPtr1,
                                 const Value* thisPtr2);
 
-std::string dumpValue(const Value* val);
 
-std::string dumpType(const Type* type);
 
 
 /**