From 479f8068a769885e0fb50bf37f886ef839e63609 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 14 Dec 2016 18:12:10 +0000 Subject: Teach KLEE to respect the requested memory alignment of globals and stack variables when possible. Previously an alignment 8 was always used which did not faithfully emulate what was either explicitly requested in the LLVM IR or what the default alignment was for the target. --- lib/Core/MemoryManager.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core/MemoryManager.h') diff --git a/lib/Core/MemoryManager.h b/lib/Core/MemoryManager.h index fc77b476..cc2073d8 100644 --- a/lib/Core/MemoryManager.h +++ b/lib/Core/MemoryManager.h @@ -40,7 +40,7 @@ public: * memory. */ MemoryObject *allocate(uint64_t size, bool isLocal, bool isGlobal, - const llvm::Value *allocSite, size_t alignment = 8); + const llvm::Value *allocSite, size_t alignment); MemoryObject *allocateFixed(uint64_t address, uint64_t size, const llvm::Value *allocSite); void deallocate(const MemoryObject *mo); -- cgit 1.4.1