diff options
author | Robert Dewar <dewar@adacore.com> | 2006-02-15 10:36:02 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-02-15 10:36:02 +0100 |
commit | 3a0462b3e6dd2c22843f7715dd49d2ce28883835 (patch) | |
tree | 105ad500b107811fbbfd7ea9e65b8eda6afed5b4 /gcc/ada/errout.ads | |
parent | 7a5cf1d56ac04081e82e04e4b89e1934c43ddf1b (diff) | |
download | gcc-3a0462b3e6dd2c22843f7715dd49d2ce28883835.zip gcc-3a0462b3e6dd2c22843f7715dd49d2ce28883835.tar.gz gcc-3a0462b3e6dd2c22843f7715dd49d2ce28883835.tar.bz2 |
err_vars.ads: Suppress range checks for a couple of assignments which otherwise cause...
2006-02-13 Robert Dewar <dewar@adacore.com>
Eric Botcazou <ebotcazou@adacore.com>
* err_vars.ads: Suppress range checks for a couple of assignments
which otherwise cause validity checks with validity checking turned on.
Update comments.
* errout.adb (Error_Msg_Internal): Do not suppress warning messages.
Make message unconditional if it is a warning.
(Error_Msg_NEL): Always output warning messages.
Suppress range checks for a couple of assignments which otherwise
cause validity checks with validity checking turned on.
* errout.ads (Message Insertion Characters): Document that '!' is
implied by '?' in error messages.
* gnat1drv.adb: (Bad_Body): Remove '!' in warning message.
(Gnat1drv): Use a goto to end of main subprogram instead of
Exit_Program (E_Success) so that finalization can occur normally.
From-SVN: r111049
Diffstat (limited to 'gcc/ada/errout.ads')
-rw-r--r-- | gcc/ada/errout.ads | 29 |
1 files changed, 17 insertions, 12 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index 5aa7f7f..62556d8 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2006, 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- -- @@ -118,6 +118,9 @@ package Errout is -- 5. If a message attempts to insert an Error node, or a direct -- reference to the Any_Type node, then the message is suppressed. + -- 6. Note that cases 2-5 only apply to error messages, not warning + -- messages. Warning messages are only suppressed for case 1. + -- This normal suppression action may be overridden in cases 2-5 (but not -- in case 1) by setting All_Errors mode, or by setting the special -- unconditional message insertion character (!) at the end of the message @@ -229,19 +232,21 @@ package Errout is -- The character ! appearing as the last character of a message makes -- the message unconditional which means that it is output even if it -- would normally be suppressed. See section above for a description - -- of the cases in which messages are normally suppressed. + -- of the cases in which messages are normally suppressed. Note that + -- warnings are never suppressed, so the use of the ! character in a + -- warning message is never useful. -- Insertion character ? (Question: warning message) - -- The character ? appearing anywhere in a message makes the message - -- a warning instead of a normal error message, and the text of the - -- message will be preceded by "Warning:" instead of "Error:" The - -- handling of warnings if further controlled by the Warning_Mode - -- option (-w switch), see package Opt for further details, and also - -- by the current setting from pragma Warnings. This pragma applies - -- only to warnings issued from the semantic phase (not the parser), - -- but currently all relevant warnings are posted by the semantic - -- phase anyway. Messages starting with (style) are also treated as - -- warning messages. + -- The character ? appearing anywhere in a message makes the message a + -- warning instead of a normal error message, and the text of the + -- message will be preceded by "Warning:" instead of "Error:" in the + -- normal case. The handling of warnings if further controlled by the + -- Warning_Mode option (-w switch), see package Opt for further + -- details, and also by the current setting from pragma Warnings. This + -- pragma applies only to warnings issued from the semantic phase (not + -- the parser), but currently all relevant warnings are posted by the + -- semantic phase anyway. Messages starting with (style) are also + -- treated as warning messages. -- Insertion character < (Less Than: conditional warning message) -- The character < appearing anywhere in a message is used for a |