diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-07-31 09:46:06 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 11:46:06 +0200 |
| commit | e95ad7ea78884d4df12f60a8d3592989b895664b (patch) | |
| tree | 0f391a6a56870e6cc571ea4c576b17789b2a079b /gcc/ada/gnatlink.adb | |
| parent | e9a794351b31fd48b76e65c2dc29f534829e42cc (diff) | |
| download | gcc-e95ad7ea78884d4df12f60a8d3592989b895664b.zip gcc-e95ad7ea78884d4df12f60a8d3592989b895664b.tar.gz gcc-e95ad7ea78884d4df12f60a8d3592989b895664b.tar.bz2 | |
gnat_ugn.texi: Document new switch -gnato0.
2014-07-31 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document new switch -gnato0.
* sem_ch3.ads: Minor reformatting.
* gnatlink.adb (Process_Args): Compile bind file with -gnato0
(we do not want overflow checks when incrementing elaboration
counters).
* einfo.ads: Minor reformatting.
From-SVN: r213328
Diffstat (limited to 'gcc/ada/gnatlink.adb')
| -rw-r--r-- | gcc/ada/gnatlink.adb | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/gnatlink.adb b/gcc/ada/gnatlink.adb index ce8f3d1..0ac7113 100644 --- a/gcc/ada/gnatlink.adb +++ b/gcc/ada/gnatlink.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1996-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 1996-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -676,6 +676,12 @@ procedure Gnatlink is Binder_Options.Increment_Last; Binder_Options.Table (Binder_Options.Last) := new String'("-gnatws"); + -- Also suppress overflow checks (needed now that we have them on by + -- default, we want checks off when incrementing elaboration counters). + + Binder_Options.Increment_Last; + Binder_Options.Table (Binder_Options.Last) := new String'("-gnato0"); + -- If we did not get an ali file at all, and we had at least one -- linker option, then assume that was the intended ali file after -- all, so that we get a nicer message later on. |