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 | |
| 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')
| -rw-r--r-- | gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst | 1 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 1 |
2 files changed, 2 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 diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index cf363c6..72fee17 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 |