diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-02-03 23:53:13 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:32 +0000 |
commit | e3e51e753a61917e3f3b286740a39357ac8c954f (patch) | |
tree | 8fa52b51391eadba5fb7ce26d0d47b9af4db8eb5 /gcc/ada/doc | |
parent | cd644ce8be2d1ba8d759ce4c00a2ded5a040b70d (diff) | |
download | gcc-e3e51e753a61917e3f3b286740a39357ac8c954f.zip gcc-e3e51e753a61917e3f3b286740a39357ac8c954f.tar.gz gcc-e3e51e753a61917e3f3b286740a39357ac8c954f.tar.bz2 |
[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.
Diffstat (limited to 'gcc/ada/doc')
-rw-r--r-- | gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst | 1 |
1 files changed, 1 insertions, 0 deletions
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 5974973..1d45d43 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 |