diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Internal/Support/ModuleUtil.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/klee/Internal/Support/ModuleUtil.h b/include/klee/Internal/Support/ModuleUtil.h index 6cf5fbee..29adc94a 100644 --- a/include/klee/Internal/Support/ModuleUtil.h +++ b/include/klee/Internal/Support/ModuleUtil.h @@ -16,6 +16,7 @@ namespace llvm { class Function; class Instruction; class Module; + class CallSite; } namespace klee { @@ -28,7 +29,7 @@ namespace klee { /// null if it cannot be determined (should be only for indirect /// calls, although complicated constant expressions might be /// another possibility). - llvm::Function *getDirectCallTarget(const llvm::Instruction*); + llvm::Function *getDirectCallTarget(llvm::CallSite); /// Return true iff the given Function value is used in something /// other than a direct call (or a constant expression that |