err_vars.ads: Suppress range checks for a couple of assignments which otherwise cause...
authorRobert Dewar <dewar@adacore.com>
Wed, 15 Feb 2006 09:36:02 +0000 (10:36 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 15 Feb 2006 09:36:02 +0000 (10:36 +0100)
commit3a0462b3e6dd2c22843f7715dd49d2ce28883835
tree105ad500b107811fbbfd7ea9e65b8eda6afed5b4
parent7a5cf1d56ac04081e82e04e4b89e1934c43ddf1b
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
gcc/ada/err_vars.ads
gcc/ada/errout.adb
gcc/ada/errout.ads
gcc/ada/gnat1drv.adb