diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-06-14 23:16:49 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-16 09:38:25 +0100 |
| commit | 4359b5fd1ce7069b7cdf20f31fee8817705c07b3 (patch) | |
| tree | cbfd3b770dd2a98b8c433e9cafd410f8c6568333 | |
| parent | cfda260fb49159f56aaee1905f2efc9e7dffd687 (diff) | |
| download | klee-4359b5fd1ce7069b7cdf20f31fee8817705c07b3.tar.gz | |
Added location info for external calls and improved a message.
| -rw-r--r-- | lib/Core/Executor.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index fea9781d..c087b79b 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -3035,7 +3035,7 @@ void Executor::callExternalFunction(ExecutionState &state, return; if (NoExternals && !okExternals.count(function->getName())) { - klee_warning("Calling not-OK external function : %s\n", + klee_warning("Disallowed call to external function: %s\n", function->getName().str().c_str()); terminateStateOnError(state, "externals disallowed", User); return; @@ -3084,7 +3084,8 @@ void Executor::callExternalFunction(ExecutionState &state, if (i != arguments.size()-1) os << ", "; } - os << ")"; + os << ") at "; + state.pc->printFileLine(os); if (AllExternalWarnings) klee_warning("%s", os.str().c_str()); |