diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-20 14:52:08 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-20 14:52:08 +0100 |
commit | 0f361206d509b12123af6693d6fd92e608a6cb12 (patch) | |
tree | 6f9c2f011ad7373733907f5eea8eb01d6244e444 /gcc/ada/errutil.adb | |
parent | c0cdbd39634ec31bb882cb8fd10281c466a3f116 (diff) | |
download | gcc-0f361206d509b12123af6693d6fd92e608a6cb12.zip gcc-0f361206d509b12123af6693d6fd92e608a6cb12.tar.gz gcc-0f361206d509b12123af6693d6fd92e608a6cb12.tar.bz2 |
[multiple changes]
2014-02-20 Vincent Celier <celier@adacore.com>
* errutil.adb (Initialize): Properly initialize entry in table
Warnings when warnings are suppressed.
2014-02-20 Robert Dewar <dewar@adacore.com>
* s-os_lib.ads: Add warning about non-portability of Rename_File.
* sem_util.ads, sem_util.adb (Is_Junk_Name): New function.
* sem_warn.adb: Use Is_Junk_Name to suppress some warnings.
* gnat_ugn.texi: Document no warnings on junk variable names.
* layout.adb: Minor code reorganization (use Ekind_In).
* stringt.adb: Move initialization of Null_String_Id to Initialize
routine.
2014-02-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: Initialize optional Element_Id.
From-SVN: r207947
Diffstat (limited to 'gcc/ada/errutil.adb')
-rw-r--r-- | gcc/ada/errutil.adb | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/ada/errutil.adb b/gcc/ada/errutil.adb index 8053bb5..0d4af6c 100644 --- a/gcc/ada/errutil.adb +++ b/gcc/ada/errutil.adb @@ -31,6 +31,7 @@ with Opt; use Opt; with Output; use Output; with Scans; use Scans; with Sinput; use Sinput; +with Stringt; use Stringt; with Stylesw; use Stylesw; package body Errutil is @@ -599,9 +600,11 @@ package body Errutil is Warnings.Init; if Warning_Mode = Suppress then - Warnings.Increment_Last; - Warnings.Table (Warnings.Last).Start := Source_Ptr'First; - Warnings.Table (Warnings.Last).Stop := Source_Ptr'Last; + Warnings.Append + (New_Val => + (Start => Source_Ptr'First, + Stop => Source_Ptr'Last, + Reason => Null_String_Id)); end if; end Initialize; |