[test]

misonijnik · Feb 15, 2024 · 29b9a6b · 29b9a6b
1 parent b328982
commit 29b9a6b
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
@@ -160,9 +160,14 @@ ref<klee::Expr> Executor::evalConstant(const Constant *c,
       }
       assert(Context::get().isLittleEndian() && "FIXME:Broken for big endian");
       ref<Expr> res = ConcatExpr::createN(numOperands, kids.data());
-      assert((isa<ConstantExpr>(res) || isa<ConstantPointerExpr>(res)) &&
-             "result of constant vector built is "
-             "not a constant");
+      if (isa<ConstantExpr>(res) ||
+              isa<ConstantPointerExpr>(res)) {
+        res->dump();
+        llvm::errs() < "\n";
+      }
+      assert((isa<ConstantExpr>(res) ||
+              isa<ConstantPointerExpr>(res)) &&"result of constant vector built is "
+                                         "not a constant");
       return res;
     } else if (const BlockAddress *ba = dyn_cast<BlockAddress>(c)) {
       // return the address of the specified basic block in the specified