public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
From: Marc Poulhi?s <dkm@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r13-5012] ada: Update doc for -gnatw_q
Date: Thu,  5 Jan 2023 14:38:04 +0000 (GMT)	[thread overview]
Message-ID: <20230105143804.DA83F385840E@sourceware.org> (raw)

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

                 reply	other threads:[~2023-01-05 14:38 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20230105143804.DA83F385840E@sourceware.org \
    --to=dkm@gcc.gnu.org \
    --cc=gcc-cvs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
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).