diff options
author | Bob Duff <duff@adacore.com> | 2022-12-14 13:16:03 -0500 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-01-05 15:29:58 +0100 |
commit | 0a8824f7025c2fae0dd11131043e3029c9ccadec (patch) | |
tree | f861e4e3d542c642ec8f7d396c932eb6a6deede0 | |
parent | d990f34e93172b040de29c65e6d72572e73d00f0 (diff) | |
download | gcc-0a8824f7025c2fae0dd11131043e3029c9ccadec.zip gcc-0a8824f7025c2fae0dd11131043e3029c9ccadec.tar.gz gcc-0a8824f7025c2fae0dd11131043e3029c9ccadec.tar.bz2 |
ada: Update doc for -gnatw_q
The -gnatw_q switch turns on warnings for noncomposing "="
operators. This patch updates the doc to refer to relevant
RM paragraphs.
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Add RM references.
* gnat_ugn.texi: Regenerate.
-rw-r--r-- | gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst | 2 | ||||
-rw-r--r-- | gcc/ada/gnat_ugn.texi | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst index fe0b567..634bbc9 100644 --- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst +++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst @@ -3704,6 +3704,8 @@ of the pragma in the :title:`GNAT_Reference_manual`). containing a component whose type has the user-defined "=" as primitive). Note that the user-defined "=" must be a primitive operator in order to trigger the warning. + See RM-4.5.2(14/3-15/5, 21, 24/3, 32.1/1) + for the exact Ada rules on composability of "=". The default is that these warnings are not given. diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 0470414..a1daff9 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -19,7 +19,7 @@ @copying @quotation -GNAT User's Guide for Native Platforms , Jan 02, 2023 +GNAT User's Guide for Native Platforms , Jan 03, 2023 AdaCore @@ -11970,6 +11970,8 @@ not compose (i.e. is ignored for a predefined “=” for a composite type containing a component whose type has the user-defined “=” as primitive). Note that the user-defined “=” must be a primitive operator in order to trigger the warning. +See RM-4.5.2(14/3-15/5, 21, 24/3, 32.1/1) +for the exact Ada rules on composability of “=”. The default is that these warnings are not given. @end table |