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 /lib/Core/SpecialFunctionHandler.h | |
| 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 'lib/Core/SpecialFunctionHandler.h')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h index d52b8fc5..f68c6edb 100644 --- a/lib/Core/SpecialFunctionHandler.h +++ b/lib/Core/SpecialFunctionHandler.h @@ -132,10 +132,6 @@ namespace klee { HANDLER(handleUnderConstrained); HANDLER(handleWarning); HANDLER(handleWarningOnce); - HANDLER(handleAddOverflow); - HANDLER(handleMulOverflow); - HANDLER(handleSubOverflow); - HANDLER(handleDivRemOverflow); #undef HANDLER }; } // End klee namespace |