aboutsummaryrefslogtreecommitdiff
path: root/tools/shared.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/shared.py')
-rw-r--r--tools/shared.py3
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