From 535a4efdffdbd62d7c3956644cd6bdecdca7d18f Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Thu, 5 Aug 2010 17:53:17 +0000 Subject: Have getDirectCallTarget use CallSite git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@110351 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Internal/Support/ModuleUtil.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'include') 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 -- cgit 1.4.1