public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-5012] ada: Update doc for -gnatw_q
@ 2023-01-05 14:38 Marc Poulhi?s
0 siblings, 0 replies; only message in thread
From: Marc Poulhi?s @ 2023-01-05 14:38 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:0a8824f7025c2fae0dd11131043e3029c9ccadec
commit r13-5012-g0a8824f7025c2fae0dd11131043e3029c9ccadec
Author: Bob Duff <duff@adacore.com>
Date: Wed Dec 14 13:16:03 2022 -0500
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.
Diff:
---
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst | 2 ++
gcc/ada/gnat_ugn.texi | 4 +++-
2 files changed, 5 insertions(+), 1 deletion(-)
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 fe0b567c2b9..634bbc94c31 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 0470414e150..a1daff92fbe 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-01-05 14:38 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-05 14:38 [gcc r13-5012] ada: Update doc for -gnatw_q Marc Poulhi?s
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).