diff options
| -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} |