diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-16 13:43:47 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-16 13:43:47 +0000 |
commit | 5f06711413b4c930a690ece44749ca1e9b9acd7d (patch) | |
tree | 878351a2d7f4b8c94292a8e3be61dec52b071006 /gcc/ada/a-except-2005.adb | |
parent | 829967f1aa91bbb942b6aff327e04627e7099070 (diff) | |
download | gcc-5f06711413b4c930a690ece44749ca1e9b9acd7d.tar.gz |
2015-10-16 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Analyze_Package_Instantiation):
Treat a missing SPARK_Mode annotation as having mode "Off".
(Analyze_Subprogram_Instantiation): Treat a missing SPARK_Mode
annotation as having mode "Off".
(Instantiate_Package_Body): Code
reformatting. Treat a missing SPARK_Mode annotation as having mode
"Off".
(Instantiate_Subprogram_Body): Code reformatting. Treat
a missing SPARK_Mode annotation as having mode "Off".
2015-10-16 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb: Code clean up.
* sem_ch13.adb: Minor fix in comment.
2015-10-16 Bob Duff <duff@adacore.com>
* a-exexda.adb: Change format of Exception_Information to be
more like what we print for unhandled exceptions.
* a-exstat.adb: Parse new format.
* a-except-2005.adb, a-except.adb: Document new format.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228907 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-except-2005.adb')
-rw-r--r-- | gcc/ada/a-except-2005.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/a-except-2005.adb b/gcc/ada/a-except-2005.adb index 10f06bfd931..e7929178061 100644 --- a/gcc/ada/a-except-2005.adb +++ b/gcc/ada/a-except-2005.adb @@ -152,8 +152,8 @@ package body Ada.Exceptions is -- -- The format of the string is as follows: -- - -- Exception_Name: <exception name> (as in Exception_Name) - -- Message: <message> (only if Exception_Message is empty) + -- raised <exception name> : <message> + -- (" : <message>" is present only if Exception_Message is not empty) -- PID=nnnn (only if nonzero) -- Call stack traceback locations: (only if at least one location) -- <0xyyyyyyyy 0xyyyyyyyy ...> (is recorded) |