diff options
author | Frank Busse <bb0xfb@gmail.com> | 2018-05-08 11:00:14 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-05-21 18:00:55 +0100 |
commit | 5165772d3f03314fb61cc47256b67d923605c951 (patch) | |
tree | d781a6874db394936c8431c510dd36e7ce94159c /lib/Core/AddressSpace.cpp | |
parent | 33964e5d935f903b2850f6576f93ce229fb00918 (diff) | |
download | klee-5165772d3f03314fb61cc47256b67d923605c951.tar.gz |
fix some casts for LLP64 compilers
Diffstat (limited to 'lib/Core/AddressSpace.cpp')
-rw-r--r-- | lib/Core/AddressSpace.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/AddressSpace.cpp b/lib/Core/AddressSpace.cpp index 2169ed06..32bcdcc5 100644 --- a/lib/Core/AddressSpace.cpp +++ b/lib/Core/AddressSpace.cpp @@ -298,7 +298,7 @@ void AddressSpace::copyOutConcretes() { if (!mo->isUserSpecified) { ObjectState *os = it->second; - uint8_t *address = (uint8_t*) (unsigned long) mo->address; + auto address = reinterpret_cast<std::uint8_t*>(mo->address); if (!os->readOnly) memcpy(address, os->concreteStore, mo->size); @@ -324,7 +324,7 @@ bool AddressSpace::copyInConcretes() { bool AddressSpace::copyInConcrete(const MemoryObject *mo, const ObjectState *os, uint64_t src_address) { - uint8_t *address = (uint8_t *)(unsigned long)src_address; + auto address = reinterpret_cast<std::uint8_t*>(src_address); if (memcmp(address, os->concreteStore, mo->size) != 0) { if (os->readOnly) { return false; |