]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Update doc for -gnatw_q
authorBob Duff <duff@adacore.com>
Wed, 14 Dec 2022 18:16:03 +0000 (13:16 -0500)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 5 Jan 2023 14:29:58 +0000 (15:29 +0100)
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.

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

index fe0b567c2b95661de384d7cdeeabe0e4c10ce205..634bbc94c31ff7df2a4db10334067fdb26fa22fa 100644 (file)
@@ -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.
 
index 0470414e150f9894869e84259d12bde5c0ee6518..a1daff92fbe6f9931be2d1ca3d843962e32d16ed 100644 (file)
@@ -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