Add the --no-safe-math flag as suggested by Tomyo. "Lightly tested."

csmith-project · Aug 22, 2011 · 7f45ae4 · 7f45ae4
1 parent 91f65aa
commit 7f45ae4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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;