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 183b2ff26cd563caef18958e6a1b51826749ee52..c5f4abc780c7bd2d0d52a11085cdcf236c6b24a1 100644 (file)
--- 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 23c9977ed4c3900e05cc5b1c18418fc1c0be395a..ee0554899e91fe3152f16c1660359c2fcb947be2 100644 (file)
--- 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