From 2c8039b3a2abf467c5eefa9fc8d1408766ab877d Mon Sep 17 00:00:00 2001 From: Micah Villmow Date: Mon, 8 Oct 2012 16:50:13 +0000 Subject: Make the changes in r165394 be conditional on post LLVM 3.1 changes. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165405 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Internal/Module/KModule.h | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'include') diff --git a/include/klee/Internal/Module/KModule.h b/include/klee/Internal/Module/KModule.h index 322e6898..538d8e6e 100644 --- a/include/klee/Internal/Module/KModule.h +++ b/include/klee/Internal/Module/KModule.h @@ -22,7 +22,11 @@ namespace llvm { class Function; class Instruction; class Module; +#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1) + class TargetData; +#else class DataLayout; +#endif } namespace klee { @@ -80,7 +84,11 @@ namespace klee { class KModule { public: llvm::Module *module; +#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1) + llvm::TargetData *targetData; +#else llvm::DataLayout *targetData; +#endif // Some useful functions to know the address of llvm::Function *dbgStopPointFn, *kleeMergeFn; -- cgit 1.4.1