diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2013-09-02 17:13:45 +0200 |
|---|---|---|
| committer | Martin Nowack <martin.nowack@gmail.com> | 2013-09-02 17:14:13 +0200 |
| commit | 5878249b4f8276773349a1544ea22478afd0ee50 (patch) | |
| tree | 479b2f0db2f8e3ca02679c58b92204a2c25a76a8 /lib | |
| parent | b1b96a784632f71928220117624a2c07ab3ca9e6 (diff) | |
| download | klee-5878249b4f8276773349a1544ea22478afd0ee50.tar.gz | |
Fixed unused static function warning for forceImport
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Module/KModule.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index df6c6ebb..0b61fd9e 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -199,6 +199,7 @@ static void injectStaticConstructorsAndDestructors(Module *m) { } } +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 3) static void forceImport(Module *m, const char *name, LLVM_TYPE_Q Type *retType, ...) { // If module lacks an externally visible symbol for the name then we @@ -221,6 +222,7 @@ static void forceImport(Module *m, const char *name, LLVM_TYPE_Q Type *retType, m->getOrInsertFunction(name, FunctionType::get(retType, argTypes, false)); } } +#endif void KModule::prepare(const Interpreter::ModuleOptions &opts, InterpreterHandler *ih) { |