From 4c8fabc7de30e17ef116b8f413f3a973c29cb56c Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Wed, 22 Feb 2017 16:10:21 +0100 Subject: llvm: stop using global context It was marked as deprecated long time ago and finally removed in LLVM 3.9. Remove all uses of getGlobalContext and create our own context. Propagate it all over the code then. [v2] use ctx, not C as name Signed-off-by: Jiri Slaby --- include/klee/Interpreter.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'include') diff --git a/include/klee/Interpreter.h b/include/klee/Interpreter.h index ece84b2c..4c428994 100644 --- a/include/klee/Interpreter.h +++ b/include/klee/Interpreter.h @@ -18,6 +18,7 @@ struct KTest; namespace llvm { class Function; +class LLVMContext; class Module; class raw_ostream; class raw_fd_ostream; @@ -93,7 +94,8 @@ protected: public: virtual ~Interpreter() {} - static Interpreter *create(const InterpreterOptions &_interpreterOpts, + static Interpreter *create(llvm::LLVMContext &ctx, + const InterpreterOptions &_interpreterOpts, InterpreterHandler *ih); /// Register the module to be executed. -- cgit 1.4.1