[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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 672ac82b9fff22bcabb7ee64cb830fe55547b691..af36d68052df21ee0e8195aab1bfe224be9e8305 100644 (file)
--- 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 cfa6356ec8616c9ca0b66ef1c1a7910f5d7a37bd..56dd6a7ab753f5ec736c0767eb3cce5c5eec62e8 100644 (file)
--- 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 b540e7bdd5dec77530f2913bb286101bd30ec1ee..91ac52312b17365eaa4efdc6f73adbf44f2f2493 100644 (file)
--- 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}