From: Piotr Trojanek Date: Thu, 3 Feb 2022 22:53:13 +0000 (+0100) Subject: [Ada] Document Aggregate_Individually_Assign as a configuration pragma X-Git-Tag: basepoints/gcc-14~6864 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3e51e753a61917e3f3b286740a39357ac8c954f;p=thirdparty%2Fgcc.git [Ada] Document Aggregate_Individually_Assign as a configuration pragma Pragma Aggregate_Individually_Assign was apparently forgotten to be listed in the GNAT User's Guide as a configuration pragma. gcc/ada/ * doc/gnat_ugn/the_gnat_compilation_model.rst (Configuration Pragmas): Add Aggregate_Individually_Assign; otherwise the list is complete except for some obsoleted pragmas, which most likely are intentionally omitted. * gnat_ugn.texi: Regenerate. --- diff --git a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst index 5974973fbfd..1d45d430f6b 100644 --- a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst +++ b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst @@ -1402,6 +1402,7 @@ recognized by GNAT:: Ada_12 Ada_2012 Ada_2022 + Aggregate_Individually_Assign Allow_Integer_Address Annotate Assertion_Policy diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index cf363c6d868..72fee1723de 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -2808,6 +2808,7 @@ Ada_2005 Ada_12 Ada_2012 Ada_2022 +Aggregate_Individually_Assign Allow_Integer_Address Annotate Assertion_Policy