From 7f45ae4bb690f7fb6e5f17ff1ad3e31953721e5a Mon Sep 17 00:00:00 2001
From: John Regehr <regehr@cs.utah.edu>
Date: Mon, 22 Aug 2011 11:32:38 -0600
Subject: [PATCH] Add the --no-safe-math flag as suggested by Tomyo.  "Lightly
 tested."

---
 src/RandomProgramGenerator.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/RandomProgramGenerator.cpp b/src/RandomProgramGenerator.cpp
index 739d57ee2..8b8499ad5 100644
--- a/src/RandomProgramGenerator.cpp
+++ b/src/RandomProgramGenerator.cpp
@@ -1135,6 +1135,11 @@ main(int argc, char **argv)
 			continue;
 		}
 
+        if (strcmp (argv[i], "--no-safe-math") == 0){
+            CGOptions::avoid_signed_overflow(false);
+            continue;
+        }
+
 		if (strcmp (argv[i], "--no-embedded-assigns") == 0) {
 			CGOptions::use_embedded_assigns(false);
 			continue;