diff options
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 3df4cc88..a296051b 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -170,7 +170,8 @@ private: /// The maximum time to allow for a single stp query. double stpTimeout; - llvm::Function* getCalledFunction(llvm::CallSite &cs, ExecutionState &state); + llvm::Function* getTargetFunction(llvm::Value *calledVal, + ExecutionState &state); void executeInstruction(ExecutionState &state, KInstruction *ki); |