diff options
Diffstat (limited to 'lib/Core/ExecutorUtil.cpp')
-rw-r--r-- | lib/Core/ExecutorUtil.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp index a0f4de3d..355f6f78 100644 --- a/lib/Core/ExecutorUtil.cpp +++ b/lib/Core/ExecutorUtil.cpp @@ -122,7 +122,7 @@ namespace klee { } else if (const BlockAddress * ba = dyn_cast<BlockAddress>(c)) { // return the address of the specified basic block in the specified function const auto arg_bb = (BasicBlock *) ba->getOperand(1); - const auto res = Expr::createPointer((uint64_t) (unsigned long) (void *) arg_bb); + const auto res = Expr::createPointer(reinterpret_cast<std::uint64_t>(arg_bb)); return cast<ConstantExpr>(res); } else { std::string msg("Cannot handle constant "); |