Have getDirectCallTarget use CallSite

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@110351 91177308-0d34-0410-b5e6-96231b3b80d8

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