[Ada] Document Aggregate_Individually_Assign as a configuration pragma
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 3 Feb 2022 22:53:13 +0000 (23:53 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 12 May 2022 12:38:32 +0000 (12:38 +0000)
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.

gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
gcc/ada/gnat_ugn.texi

index 5974973..1d45d43 100644 (file)
@@ -1402,6 +1402,7 @@ recognized by GNAT::
      Ada_12
      Ada_2012
      Ada_2022
+     Aggregate_Individually_Assign
      Allow_Integer_Address
      Annotate
      Assertion_Policy
index cf363c6..72fee17 100644 (file)
@@ -2808,6 +2808,7 @@ Ada_2005
 Ada_12
 Ada_2012
 Ada_2022
+Aggregate_Individually_Assign
 Allow_Integer_Address
 Annotate
 Assertion_Policy