[fix]

misonijnik · Feb 16, 2024 · 5fff4bd · 5fff4bd
1 parent a4e83ca
commit 5fff4bd
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
@@ -160,14 +160,6 @@ 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());
-      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