diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-08 11:37:55 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-08 11:37:55 -0800 |
| commit | c8eb08da1e772d9320a4c41aed09eef8774f4815 (patch) | |
| tree | 85d1eeb989365710882af484e9650f7de9de0e90 /tools/shared.py | |
| parent | ede5afe800f46aef362fe9a328698cf35a33c80a (diff) | |
do not disable corrections/roundings/overflows in -O3
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/shared.py b/tools/shared.py index c283c1f5..401a580b 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -569,9 +569,6 @@ class Settings: Settings.INLINING_LIMIT = 0 Settings.DOUBLE_MODE = 0 Settings.PRECISE_I64_MATH = 0 - Settings.CORRECT_SIGNS = 0 - Settings.CORRECT_OVERFLOWS = 0 - Settings.CORRECT_ROUNDINGS = 0 if noisy: print >> sys.stderr, 'Warning: Applying some potentially unsafe optimizations! (Use -O2 if this fails.)' global Settings |