diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-03-31 11:48:49 +0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-02 13:06:52 +0100 |
| commit | 58ce9056c80cd2253df988eefcd7764e1056579b (patch) | |
| tree | d94986f7725607967f1f24e39dcc4398b177f130 /lib/Core | |
| parent | 7948a03c62890333ae3848b626efb9340a542beb (diff) | |
| download | klee-58ce9056c80cd2253df988eefcd7764e1056579b.tar.gz | |
Handle __assert() function as handleAssertFail. This assert variant is used on FreeBSD
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 384481f8..e18d3534 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -69,6 +69,7 @@ static SpecialFunctionHandler::HandlerInfo handlerInfo[] = { true, false, false } addDNR("__assert_rtn", handleAssertFail), addDNR("__assert_fail", handleAssertFail), + addDNR("__assert", handleAssertFail), addDNR("_assert", handleAssert), addDNR("abort", handleAbort), addDNR("_exit", handleExit), |