diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-08-20 19:28:27 +0100 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-16 08:26:16 -0700 |
| commit | 21ab5307531fd291f5980b71b438221eb5c438fc (patch) | |
| tree | 837e35783fda195cad32789955d0f95e9851993e | |
| parent | 44c74907d97df031bd06023aec6f69d6fe9ba403 (diff) | |
| download | klee-21ab5307531fd291f5980b71b438221eb5c438fc.tar.gz | |
Fix compilation error due to r199218. Maybe we should just remove this
assertion entirely?
| -rw-r--r-- | lib/Module/ModuleUtil.cpp | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 3811003e..5f7ed35e 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -96,8 +96,11 @@ GetAllUndefinedSymbols(Module *M, std::set<std::string> &UndefinedSymbols) { if (I->isDeclaration()) UndefinedSymbols.insert(I->getName()); else if (!I->hasLocalLinkage()) { - assert(!I->hasDLLImportLinkage() - && "Found dllimported non-external symbol!"); +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 5) + assert(!I->hasDLLImportLinkage() && "Found dllimported non-external symbol!"); +#else + assert(!I->hasDLLImportStorageClass() && "Found dllimported non-external symbol!"); +#endif DefinedSymbols.insert(I->getName()); } } @@ -108,8 +111,11 @@ GetAllUndefinedSymbols(Module *M, std::set<std::string> &UndefinedSymbols) { if (I->isDeclaration()) UndefinedSymbols.insert(I->getName()); else if (!I->hasLocalLinkage()) { - assert(!I->hasDLLImportLinkage() - && "Found dllimported non-external symbol!"); +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 5) + assert(!I->hasDLLImportLinkage() && "Found dllimported non-external symbol!"); +#else + assert(!I->hasDLLImportStorageClass() && "Found dllimported non-external symbol!"); +#endif DefinedSymbols.insert(I->getName()); } } |