https://gcc.gnu.org/g:90b6d3bc84da803e14627548545626215a127b4d
commit r15-6565-g90b6d3bc84da803e14627548545626215a127b4d Author: Eric Botcazou <ebotca...@adacore.com> Date: Mon Jan 6 08:46:06 2025 +0100 Ada: fix documentation of pragma Unimplemented_Unit gcc/ada PR ada/117936 * doc/gnat_rm/implementation_defined_pragmas.rst (Unimplemented_Unit): Adjust the description of the error message. * gnat_rm.texi: Regenerate. Diff: --- gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 6 +++--- gcc/ada/gnat_rm.texi | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 61ed40e78f48..768a2e659c28 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -7046,9 +7046,9 @@ Syntax: If this pragma occurs in a unit that is processed by the compiler, GNAT -aborts with the message :samp:`xxx not implemented`, where -``xxx`` is the name of the current compilation unit. This pragma is -intended to allow the compiler to handle unimplemented library units in +aborts with the message :samp:`xxx is not supported in this configuration`, +where ``xxx`` is the name of the current compilation unit. This pragma +is intended to allow the compiler to handle unimplemented library units in a clean manner. The abort only happens if code is being generated. Thus you can use diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index baf549e158f5..8aceb6f62f99 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -8643,9 +8643,9 @@ pragma Unimplemented_Unit; @end example If this pragma occurs in a unit that is processed by the compiler, GNAT -aborts with the message @code{xxx not implemented}, where -@code{xxx} is the name of the current compilation unit. This pragma is -intended to allow the compiler to handle unimplemented library units in +aborts with the message @code{xxx is not supported in this configuration}, +where @code{xxx} is the name of the current compilation unit. This pragma +is intended to allow the compiler to handle unimplemented library units in a clean manner. The abort only happens if code is being generated. Thus you can use