diff options
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.h')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h index 601b149b..d52b8fc5 100644 --- a/lib/Core/SpecialFunctionHandler.h +++ b/lib/Core/SpecialFunctionHandler.h @@ -135,6 +135,7 @@ namespace klee { HANDLER(handleAddOverflow); HANDLER(handleMulOverflow); HANDLER(handleSubOverflow); + HANDLER(handleDivRemOverflow); #undef HANDLER }; } // End klee namespace |