diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-07-31 09:43:55 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 11:43:55 +0200 |
| commit | e9a794351b31fd48b76e65c2dc29f534829e42cc (patch) | |
| tree | e113ac5a4b45830f2790a8af96c4e8eac9a4feb8 /gcc/ada/gnat1drv.adb | |
| parent | 7c0c194ba4cd9a9bb779075cb977cb319882bc0b (diff) | |
| download | gcc-e9a794351b31fd48b76e65c2dc29f534829e42cc.zip gcc-e9a794351b31fd48b76e65c2dc29f534829e42cc.tar.gz gcc-e9a794351b31fd48b76e65c2dc29f534829e42cc.tar.bz2 | |
exp_ch5.adb, [...]: Minor comment correction.
2014-07-31 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb, freeze.adb, exp_ch3.adb: Minor comment correction.
* s-arit64.adb: Minor reformatting.
2014-07-31 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Default for overflow
checking is enabled except in GNAT_Mode.
* switch-c.adb (Scan_Front_End_Switches): Implement -gnato0
(suppress overflow checks).
From-SVN: r213327
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 14dc0ee..353f6d0 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -511,9 +511,13 @@ procedure Gnat1drv is -- Otherwise set overflow mode defaults else - -- Otherwise set overflow checks off by default + -- Overflow checks are on by default (Suppress set False) except in + -- GNAT_Mode, where we want them off by default (we are not ready to + -- enable overflow checks in the compiler yet, for one thing the case + -- of 64-bit checks needs System.Arith_64 which is not a compiler + -- unit and it is a pain to try to include it in the compiler. - Suppress_Options.Suppress (Overflow_Check) := True; + Suppress_Options.Suppress (Overflow_Check) := GNAT_Mode; -- Set appropriate default overflow handling mode. Note: at present -- we set STRICT in all three of the following cases. They are @@ -531,8 +535,8 @@ procedure Gnat1drv is -- flags set, so this was dead code anyway. elsif Targparm.Backend_Divide_Checks_On_Target - and - Targparm.Backend_Overflow_Checks_On_Target + and + Targparm.Backend_Overflow_Checks_On_Target then Suppress_Options.Overflow_Mode_General := Strict; Suppress_Options.Overflow_Mode_Assertions := Strict; |