diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-10-04 14:58:21 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-10-04 14:58:21 +0000 |
| commit | 2fff57b3badae2bedac8308c57c6c0292f7f9879 (patch) | |
| tree | f29e625169dcfc496f3050d84735507fd3f0e5d6 /gcc/ada/a-except.adb | |
| parent | cb75489d5040b84fb6651a485a2be415515f651a (diff) | |
| download | gcc-2fff57b3badae2bedac8308c57c6c0292f7f9879.tar.gz | |
2004-10-04 Robert Dewar <dewar@gnat.com>
* a-except.adb: Add a comment for last change
* einfo.ads: Minor spelling correction in comment
* exp_pakd.adb, gnatdll.adb, prj-attr.ads: Minor reformatting
* sem_ch11.adb: Fix a case of using | instead of \ for continuation
messages.
* sem_util.ads: Minor comment update
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@88499 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-except.adb')
| -rw-r--r-- | gcc/ada/a-except.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/a-except.adb b/gcc/ada/a-except.adb index 22331f318dd..1ca819011c5 100644 --- a/gcc/ada/a-except.adb +++ b/gcc/ada/a-except.adb @@ -516,6 +516,10 @@ package body Ada.Exceptions is pragma Export (C, Rcheck_28, "__gnat_rcheck_28"); pragma Export (C, Rcheck_29, "__gnat_rcheck_29"); + -- None of these procedures ever returns (they raise an exception!). By + -- using pragma No_Return, we ensure that any junk code after the call, + -- such as normal return epilog stuff, can be eliminated). + pragma No_Return (Rcheck_00); pragma No_Return (Rcheck_01); pragma No_Return (Rcheck_02); |