diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-02-13 18:20:30 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-02-13 18:49:35 +0000 |
| commit | d026e99496355647665af965e27d8baf244e62d3 (patch) | |
| tree | 63c6d60e7c70e0a3148f34216b0877fb36448e7b /tools | |
| parent | a743d7072d9ccf11f96e3df45f25ad07da6ad9d6 (diff) | |
| download | klee-d026e99496355647665af965e27d8baf244e62d3.tar.gz | |
Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"
Will redo the merge to preserve original commits. This reverts commit a743d7072d9ccf11f96e3df45f25ad07da6ad9d6.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 8a246685..23c07f03 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -765,10 +765,6 @@ static const char *modelledExternals[] = { "_Znwj", "_Znam", "_Znwm", - "__ubsan_handle_add_overflow", - "__ubsan_handle_sub_overflow", - "__ubsan_handle_mul_overflow", - "__ubsan_handle_divrem_overflow", }; // Symbols we aren't going to warn about static const char *dontCareExternals[] = { |