https://gcc.gnu.org/g:7c375b3732d1460817f148a3c9071a1610cffbbb
commit r16-5228-g7c375b3732d1460817f148a3c9071a1610cffbbb Author: Eric Botcazou <[email protected]> Date: Thu Oct 23 13:10:59 2025 +0200 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: --- gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 9 +++------ gcc/ada/gnat_rm.texi | 11 ++++------- 2 files changed, 7 insertions(+), 13 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 183b2ff26cd5..c5f4abc780c7 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 23c9977ed4c3..ee0554899e91 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
