diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-22 15:57:55 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-14 09:59:29 +0100 |
| commit | c27f225e79b82d3de4f70578cb80d0603fbff6f1 (patch) | |
| tree | 2876832b7148c93bb6b835f8265382a9f56061ae /lib/Core/MemoryManager.cpp | |
| parent | c97526d0fff13e098b284369e2fc40c256b268d5 (diff) | |
| download | klee-c27f225e79b82d3de4f70578cb80d0603fbff6f1.tar.gz | |
llvm: make KLEE compile against LLVM 3.9
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Core/MemoryManager.cpp')
| -rw-r--r-- | lib/Core/MemoryManager.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index 24e2ed97..f40e8bc9 100644 --- a/lib/Core/MemoryManager.cpp +++ b/lib/Core/MemoryManager.cpp @@ -111,9 +111,12 @@ MemoryObject *MemoryManager::allocate(uint64_t size, bool isLocal, uint64_t address = 0; if (DeterministicAllocation) { - +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) + address = llvm::alignTo((uint64_t)nextFreeSlot + alignment - 1, alignment); +#else address = llvm::RoundUpToAlignment((uint64_t)nextFreeSlot + alignment - 1, alignment); +#endif // Handle the case of 0-sized allocations as 1-byte allocations. // This way, we make sure we have this allocation between its own red zones |