wscript
changeset 10769 2a65963e27ac
parent 10604 eed0cb486e3f
child 10790 b445436fd51f
--- a/wscript	Wed Apr 30 20:54:05 2014 -0700
+++ b/wscript	Wed Apr 30 21:32:57 2014 -0700
@@ -325,6 +325,8 @@
         if Options.options.build_profile == 'optimized': 
             if conf.check_compilation_flag('-march=native'):
                 env.append_value('CXXFLAGS', '-march=native') 
+            env.append_value('CXXFLAGS', '-fstrict-overflow')
+            env.append_value('CXXFLAGS', '-Wstrict-overflow=5')
 
         if sys.platform == 'win32':
             env.append_value("LINKFLAGS", "-Wl,--enable-runtime-pseudo-reloc")