From: Eric Botcazou <ebotcazou@adacore.com>
Date: Thu, 23 Oct 2025 11:10:59 +0000 (+0200)
Subject: ada: Further update GNAT RM after recent change to alignment checks
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7c375b3732d1460817f148a3c9071a1610cffbbb;p=thirdparty%2Fgcc.git

ada: Further update GNAT RM after recent change to alignment checks

Alignment checks are now fully decoupled from range checks.

gcc/ada/ChangeLog:

	* doc/gnat_rm/implementation_defined_pragmas.rst (Pragma Suppress):
	Remove mention of range checks in the entry for alignment checks.
	* gnat_rm.texi: Regenerate.
---

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index 183b2ff26cd..c5f4abc780c 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -6672,12 +6672,9 @@ names that are implementation defined (as permitted by the RM):
 
 
 *
-  ``Alignment_Check`` can be used to suppress alignment checks
-  on addresses used in address clauses. Such checks can also be suppressed
-  by suppressing range checks, but the specific use of ``Alignment_Check``
-  allows suppression of alignment checks without suppressing other range checks.
-  Note that ``Alignment_Check`` is suppressed by default on machines (such as
-  the x86) with non-strict alignment.
+  ``Alignment_Check`` can be used to suppress alignment checks on addresses
+  used in address clauses. Note that ``Alignment_Check`` is suppressed by
+  default on non-strict alignment machines (such as the x86).
 
 *
   ``Atomic_Synchronization`` can be used to suppress the special memory
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 23c9977ed4c..ee0554899e9 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -19,7 +19,7 @@
 
 @copying
 @quotation
-GNAT Reference Manual , Oct 31, 2025
+GNAT Reference Manual , Nov 13, 2025
 
 AdaCore
 
@@ -8318,12 +8318,9 @@ names that are implementation defined (as permitted by the RM):
 @itemize *
 
 @item 
-@code{Alignment_Check} can be used to suppress alignment checks
-on addresses used in address clauses. Such checks can also be suppressed
-by suppressing range checks, but the specific use of @code{Alignment_Check}
-allows suppression of alignment checks without suppressing other range checks.
-Note that @code{Alignment_Check} is suppressed by default on machines (such as
-the x86) with non-strict alignment.
+@code{Alignment_Check} can be used to suppress alignment checks on addresses
+used in address clauses. Note that @code{Alignment_Check} is suppressed by
+default on non-strict alignment machines (such as the x86).
 
 @item 
 @code{Atomic_Synchronization} can be used to suppress the special memory