diff options
Diffstat (limited to 'lib/Module/ModuleUtil.cpp')
| -rw-r--r-- | lib/Module/ModuleUtil.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 7cd66415..2c855261 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -285,7 +285,11 @@ Function *klee::getDirectCallTarget( const CallSite &cs, #endif bool moduleIsFullyLinked) { +#if LLVM_VERSION_CODE >= LLVM_VERSION(8, 0) + Value *v = cs.getCalledOperand(); +#else Value *v = cs.getCalledValue(); +#endif bool viaConstantExpr = false; // Walk through aliases and bitcasts to try to find // the function being called. |