From 479f8068a769885e0fb50bf37f886ef839e63609 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
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/Executor.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Core/Executor.h')

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 93d1443e..ae8e45e9 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -505,6 +505,7 @@ public:
                                std::map<const std::string*, std::set<unsigned> > &res);
 
   Expr::Width getWidthForLLVMType(LLVM_TYPE_Q llvm::Type *type) const;
+  size_t getAllocationAlignment(const llvm::Value *allocSite) const;
 };
   
 } // End klee namespace
-- 
cgit 1.4.1