From 870f2d6aac35457e7524078a4b4a8b011f84c45c Mon Sep 17 00:00:00 2001 From: Richard Trembecký Date: Thu, 28 Apr 2016 18:27:24 +0200 Subject: llvm: make KLEE compile against LLVM 3.7 Signed-off-by: Jiri Slaby --- lib/Module/Optimize.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lib/Module/Optimize.cpp') diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp index 02ab446a..64e4863f 100644 --- a/lib/Module/Optimize.cpp +++ b/lib/Module/Optimize.cpp @@ -154,7 +154,9 @@ void Optimize(Module *M, const std::string &EntryPoint) { Passes.add(createVerifierPass()); // Add an appropriate DataLayout instance for this module... -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 6) +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) + // LLVM 3.7+ doesn't have DataLayoutPass anymore. +#elif LLVM_VERSION_CODE >= LLVM_VERSION(3, 6) DataLayoutPass *dlpass = new DataLayoutPass(); dlpass->doInitialization(*M); addPass(Passes, dlpass); -- cgit 1.4.1