From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id DA83F385840E; Thu, 5 Jan 2023 14:38:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DA83F385840E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1672929484; bh=pVnhIyqACAUDT0hsFJscpz064PjyIZAQwmwbKt1VA5Y=; h=From:To:Subject:Date:From; b=Lb0qZiHwqa8K2G7/545TNLxsJ9Ozl6zE68B6cCVBUZUtWtDs5ziMPBIrVH4XlnW9s e4D+TXyZZGZb9eI/xyqbSjZKbqljXvxnCTiy2GnwULlukJkpGevIhmMZ0+/mRqHt1e fH8GKShjODlLssLfVC8HKtt5XWsroWt4uLrP14kg= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: Marc Poulhi?s To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-5012] ada: Update doc for -gnatw_q X-Act-Checkin: gcc X-Git-Author: Bob Duff X-Git-Refname: refs/heads/master X-Git-Oldrev: d990f34e93172b040de29c65e6d72572e73d00f0 X-Git-Newrev: 0a8824f7025c2fae0dd11131043e3029c9ccadec Message-Id: <20230105143804.DA83F385840E@sourceware.org> Date: Thu, 5 Jan 2023 14:38:04 +0000 (GMT) List-Id: https://gcc.gnu.org/g:0a8824f7025c2fae0dd11131043e3029c9ccadec commit r13-5012-g0a8824f7025c2fae0dd11131043e3029c9ccadec Author: Bob Duff 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