diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-07-08 08:14:55 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-08 08:14:55 +0000 |
| commit | aec80f204f01c8c8ccd78a6cc4cfa07ba99ecb9f (patch) | |
| tree | 20b33f3146161f46c91782527b60bec0687b4ec9 | |
| parent | 3a4a60d1d2303f51ea0ed442aa38cc5a9a4201c5 (diff) | |
| download | gcc-aec80f204f01c8c8ccd78a6cc4cfa07ba99ecb9f.zip gcc-aec80f204f01c8c8ccd78a6cc4cfa07ba99ecb9f.tar.gz gcc-aec80f204f01c8c8ccd78a6cc4cfa07ba99ecb9f.tar.bz2 | |
[Ada] GNAT RM: Update documentation on No_Exceptions restriction
2019-07-08 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
Update documentation on No_Exceptions restriction.
* gnat_rm.texi: Regenerate.
From-SVN: r273224
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst | 4 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 3 |
3 files changed, 11 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 672ac82..af36d68 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2019-07-08 Arnaud Charlet <charlet@adacore.com> + + * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: + Update documentation on No_Exceptions restriction. + * gnat_rm.texi: Regenerate. + 2019-07-08 Dmitriy Anisimkov <anisimko@adacore.com> * libgnat/s-os_lib.adb: Do not call __gnat_kill for Invalid_Pid. diff --git a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst index cfa6356..56dd6a7 100644 --- a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst +++ b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst @@ -356,7 +356,9 @@ No_Exceptions .. index:: No_Exceptions [RM H.4] This restriction ensures at compile time that there are no -raise statements and no exception handlers. +raise statements and no exception handlers and also suppresses the +generation of language-defined run-time checks. + No_Finalization --------------- diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index b540e7b..91ac523 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -12507,7 +12507,8 @@ of exceptions when they are declared. @geindex No_Exceptions [RM H.4] This restriction ensures at compile time that there are no -raise statements and no exception handlers. +raise statements and no exception handlers and also suppresses the +generation of language-defined run-time checks. @node No_Finalization,No_Fixed_Point,No_Exceptions,Partition-Wide Restrictions @anchor{gnat_rm/standard_and_implementation_defined_restrictions no-finalization}@anchor{1d2} |