From d026e99496355647665af965e27d8baf244e62d3 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 13 Feb 2015 18:20:30 +0000
Subject: Revert "Merged @luckyluke's change for detecting overflow of unsigned
 add, sub" Will redo the merge to preserve original commits.

This reverts commit a743d7072d9ccf11f96e3df45f25ad07da6ad9d6.
---
 tools/klee/main.cpp | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'tools')

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[] = {
-- 
cgit 1.4.1