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).