assert llvm value

SVF-tools · Dec 22, 2023 · 5034678 · 5034678
1 parent 267eea5
commit 5034678
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/svf-llvm/lib/LLVMUtil.cpp b/svf-llvm/lib/LLVMUtil.cpp
@@ -281,7 +281,7 @@ Type *LLVMUtil::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 && (LLVMUtil::dumpValue(value) + "Unknown llvm Type, cannot get Ptr Element Type").c_str());
         abort();
     }
 }