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;