From aec80f204f01c8c8ccd78a6cc4cfa07ba99ecb9f Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 8 Jul 2019 08:14:55 +0000 Subject: [PATCH] [Ada] GNAT RM: Update documentation on No_Exceptions restriction 2019-07-08 Arnaud Charlet gcc/ada/ * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: Update documentation on No_Exceptions restriction. * gnat_rm.texi: Regenerate. From-SVN: r273224 --- gcc/ada/ChangeLog | 6 ++++++ .../standard_and_implementation_defined_restrictions.rst | 4 +++- gcc/ada/gnat_rm.texi | 3 ++- 3 files changed, 11 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 672ac82b9ff..af36d68052d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2019-07-08 Arnaud Charlet + + * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: + Update documentation on No_Exceptions restriction. + * gnat_rm.texi: Regenerate. + 2019-07-08 Dmitriy Anisimkov * 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 cfa6356ec86..56dd6a7ab75 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 b540e7bdd5d..91ac52312b1 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} -- 2.30.2