From c5059debfd910edabcbc2fc847d21c9e50c5afe1 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Thu, 15 Jun 2017 15:03:29 +0200 Subject: llvm37: introduce type for PassManager In LLVM 3.7, PassManager was moved to the legacy:: namespace. Introduce a type for it and use it in the code. Signed-off-by: Jiri Slaby --- include/klee/Internal/Module/LLVMPassManager.h | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 include/klee/Internal/Module/LLVMPassManager.h (limited to 'include') diff --git a/include/klee/Internal/Module/LLVMPassManager.h b/include/klee/Internal/Module/LLVMPassManager.h new file mode 100644 index 00000000..5a1b8927 --- /dev/null +++ b/include/klee/Internal/Module/LLVMPassManager.h @@ -0,0 +1,22 @@ +//===-- InstructionInfoTable.h ----------------------------------*- C++ -*-===// +// +// The KLEE Symbolic Virtual Machine +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) +#include "llvm/IR/LegacyPassManager.h" +#else +#include "llvm/PassManager.h" +#endif + +namespace klee { +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) +typedef llvm::legacy::PassManager LegacyLLVMPassManagerTy; +#else +typedef llvm::PassManager LegacyLLVMPassManagerTy; +#endif +} -- cgit 1.4.1