diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-07-31 09:48:12 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 11:48:12 +0200 |
| commit | c1c8247201bd938d49716db8edc2767ff2a4d7d5 (patch) | |
| tree | 55467a1a341de6fbf3cdd390e8c0b60bef5dfba5 /gcc/ada/gnatlink.adb | |
| parent | e95ad7ea78884d4df12f60a8d3592989b895664b (diff) | |
| download | gcc-c1c8247201bd938d49716db8edc2767ff2a4d7d5.zip gcc-c1c8247201bd938d49716db8edc2767ff2a4d7d5.tar.gz gcc-c1c8247201bd938d49716db8edc2767ff2a4d7d5.tar.bz2 | |
bindgen.adb (Gen_Output_File_Ada): Generate pragma Suppress (Overflow_Check).
2014-07-31 Robert Dewar <dewar@adacore.com>
* bindgen.adb (Gen_Output_File_Ada): Generate pragma Suppress
(Overflow_Check).
* gnatlink.adb (Process_Args): Remove generation of -gnato0,
no longer needed.
From-SVN: r213329
Diffstat (limited to 'gcc/ada/gnatlink.adb')
| -rw-r--r-- | gcc/ada/gnatlink.adb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/gnatlink.adb b/gcc/ada/gnatlink.adb index 0ac7113..bb79180 100644 --- a/gcc/ada/gnatlink.adb +++ b/gcc/ada/gnatlink.adb @@ -676,12 +676,6 @@ 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. |