diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-02-27 14:47:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-27 14:47:33 +0000 |
| commit | bff9fb9277f890f2fd9b4acd3b9d5eed0e78f967 (patch) | |
| tree | 29e23676c07a95e83c58b5bcb5f8fd4189efaf45 /lib/Module/ModuleUtil.cpp | |
| parent | 1b67624c3a2fc1ca6f60d0a2b0f675d046dbba76 (diff) | |
| parent | 4c8fabc7de30e17ef116b8f413f3a973c29cb56c (diff) | |
| download | klee-bff9fb9277f890f2fd9b4acd3b9d5eed0e78f967.tar.gz | |
Merge pull request #600 from jirislaby/no_global_context
llvm: stop using global context
Diffstat (limited to 'lib/Module/ModuleUtil.cpp')
| -rw-r--r-- | lib/Module/ModuleUtil.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 2cd41c89..94a37e08 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -248,7 +248,8 @@ static bool linkBCA(object::Archive* archive, Module* composite, std::string& er if (buff) { // FIXME: Maybe load bitcode file lazily? Then if we need to link, materialise the module - Result = ParseBitcodeFile(buff.get(), getGlobalContext(), &errorMessage); + Result = ParseBitcodeFile(buff.get(), composite->getContext(), + &errorMessage); if(!Result) { @@ -378,7 +379,7 @@ Module *klee::linkWithLibrary(Module *module, sys::fs::file_magic magic = sys::fs::identify_magic(Buffer->getBuffer()); - LLVMContext &Context = getGlobalContext(); + LLVMContext &Context = module->getContext(); std::string ErrorMessage; if (magic == sys::fs::file_magic::bitcode) { |