From patchwork Mon Nov 21 10:14:44 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: =?utf-8?q?Marc_Poulhi=C3=A8s?= X-Patchwork-Id: 60918 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id DAC033955620 for ; Mon, 21 Nov 2022 10:18:54 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DAC033955620 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669025934; bh=kp4V8dtjB6j3eUq9rLReamZwdy32G8vgA0w9pfSQ4Vg=; h=To:Cc:Subject:Date:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From:Reply-To:From; b=ahyoszQjstdM74kXYOguAO7vYyLUU8a32vwMunCoTBkhq99WySKblEbv5jNk+aL12 9VOBG6X7k6oCvxgUSXSK9QPq42oqhG/fpFXI7LdIVkcIERNRK56z4vqrgTMxwVzE04 GqCOtkvIsSZ2176/vX8HqARcsV/Pr4GS93J7/1eA= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x434.google.com (mail-wr1-x434.google.com [IPv6:2a00:1450:4864:20::434]) by sourceware.org (Postfix) with ESMTPS id BEBE43858033 for ; Mon, 21 Nov 2022 10:14:48 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org BEBE43858033 Received: by mail-wr1-x434.google.com with SMTP id l14so198318wrw.13 for ; Mon, 21 Nov 2022 02:14:48 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=kp4V8dtjB6j3eUq9rLReamZwdy32G8vgA0w9pfSQ4Vg=; b=2AcTR/gfC7sDMVrCjmVwIyPFQv1y51e2HmonKAong/L0mJQyYSe5IH8dC/AB0nq53H 2hnvAESvWQPL8NH3jhUdHCiYUn4bipLwju073wW42+o2V3IBgjRm0cXSOP7R2ekID2Mj QSv6rVQxjrUw83ibCsXgKZvExhkZ2WoB7p5bJqmXmpnmbIPI+fBdkcQEqO5JKIg27Hqa AQOZ8jkyj4Cq1WlyrfXUOclFZnghef4jfqNeqKkwVgZ/N62DUc2+zz0yGPyfrQz+DNI7 azSAKBJRbFqAuWWYed8rIImpUclwj3J4nUbta5rJ6VKq21hZ3UIhtrpNo0F/CCHOig3+ 3XTw== X-Gm-Message-State: ANoB5pk12ux1aLpF7ltAhQsKgUu0K1xHefn51uMcafxUVg2NNKTzCnzJ 8EihcO84FDTrUb2pmGUvrxDEjTrJAhRUxw== X-Google-Smtp-Source: AA0mqf6l1rnszkKETS7Poam4whD9e0+sLmiBfu+SH02hLMJ+h0fHQkZSUEm/chCx0o6trA36TelOJQ== X-Received: by 2002:a5d:4f06:0:b0:241:cb38:3f71 with SMTP id c6-20020a5d4f06000000b00241cb383f71mr5188750wru.513.1669025687385; Mon, 21 Nov 2022 02:14:47 -0800 (PST) Received: from localhost.localdomain (static-176-191-105-132.ftth.abo.bbox.fr. [176.191.105.132]) by smtp.gmail.com with ESMTPSA id v15-20020a05600c444f00b003b4cba4ef71sm18733528wmn.41.2022.11.21.02.14.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 21 Nov 2022 02:14:46 -0800 (PST) To: gcc-patches@gcc.gnu.org Cc: Ronan Desplanques Subject: [COMMITTED] ada: Order pragmas alphabetically in reference manual Date: Mon, 21 Nov 2022 11:14:44 +0100 Message-Id: <20221121101444.259598-1-poulhies@adacore.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-13.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_ASCII_DIVIDERS, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: =?utf-8?q?Marc_Poulhi=C3=A8s_via_Gcc-patches?= From: =?utf-8?q?Marc_Poulhi=C3=A8s?= Reply-To: =?utf-8?q?Marc_Poulhi=C3=A8s?= Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" From: Ronan Desplanques gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst: Restore alphabetical ordering. * gnat_rm.texi: Regenerate. * gnat_ugn.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- .../implementation_defined_pragmas.rst | 106 ++++++------- gcc/ada/gnat_rm.texi | 148 +++++++++--------- gcc/ada/gnat_ugn.texi | 2 +- 3 files changed, 128 insertions(+), 128 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 7e5fb700691..ed42d087a25 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -1438,20 +1438,6 @@ This pragma applies only to protected types and specifies the floor deadline inherited by a task when the task enters a protected object. It is effective only when the EDF scheduling policy is used. -.. _Pragma-Default_Initial_Condition: - -Pragma Default_Initial_Condition -================================ - -Syntax: - -.. code-block:: ada - - pragma Default_Initial_Condition [ (null | boolean_EXPRESSION) ]; - -For the semantics of this pragma, see the entry for aspect -``Default_Initial_Condition`` in the SPARK 2014 Reference Manual, section 7.3.3. - Pragma Debug ============ @@ -1495,6 +1481,20 @@ This pragma is equivalent to a corresponding ``Check_Policy`` pragma with a first argument of ``Debug``. It is retained for historical compatibility reasons. +.. _Pragma-Default_Initial_Condition: + +Pragma Default_Initial_Condition +================================ + +Syntax: + +.. code-block:: ada + + pragma Default_Initial_Condition [ (null | boolean_EXPRESSION) ]; + +For the semantics of this pragma, see the entry for aspect +``Default_Initial_Condition`` in the SPARK 2014 Reference Manual, section 7.3.3. + Pragma Default_Scalar_Storage_Order =================================== .. index:: Default_Scalar_Storage_Order @@ -4640,6 +4640,22 @@ even though RM 8.3 (15) stipulates that an overridden operation is not visible within the declaration of the overriding operation. +.. _Pragma-Part_Of: + +Pragma Part_Of +============== + +Syntax: + +.. code-block:: ada + + pragma Part_Of (ABSTRACT_STATE); + + ABSTRACT_STATE ::= NAME + +For the semantics of this pragma, see the entry for aspect ``Part_Of`` in the +SPARK 2014 Reference Manual, section 7.2.6. + Pragma Partition_Elaboration_Policy =================================== @@ -4657,22 +4673,6 @@ This pragma is standard in Ada 2005, but is available in all earlier versions of Ada as an implementation-defined pragma. See Ada 2012 Reference Manual for details. -.. _Pragma-Part_Of: - -Pragma Part_Of -============== - -Syntax: - -.. code-block:: ada - - pragma Part_Of (ABSTRACT_STATE); - - ABSTRACT_STATE ::= NAME - -For the semantics of this pragma, see the entry for aspect ``Part_Of`` in the -SPARK 2014 Reference Manual, section 7.2.6. - Pragma Passive ============== @@ -7297,29 +7297,6 @@ Note that in addition to the checks defined in the Ada RM, GNAT recognizes a number of implementation-defined check names. See the description of pragma ``Suppress`` for full details. -Pragma Use_VADS_Size -==================== -.. index:: Size, VADS compatibility - -.. index:: Rational profile - - -Syntax: - - -.. code-block:: ada - - pragma Use_VADS_Size; - - -This is a configuration pragma. In a unit to which it applies, any use -of the 'Size attribute is automatically interpreted as a use of the -'VADS_Size attribute. Note that this may result in incorrect semantic -processing of valid Ada 95 or Ada 2005 programs. This is intended to aid in -the handling of existing code which depends on the interpretation of Size -as implemented in the VADS compiler. See description of the VADS_Size -attribute for further details. - .. _Pragma-Unused: Pragma Unused @@ -7354,6 +7331,29 @@ are typically to be used in cases where such warnings are expected. Thus it is never necessary to use ``pragma Unused`` for such variables, though it is harmless to do so. +Pragma Use_VADS_Size +==================== +.. index:: Size, VADS compatibility + +.. index:: Rational profile + + +Syntax: + + +.. code-block:: ada + + pragma Use_VADS_Size; + + +This is a configuration pragma. In a unit to which it applies, any use +of the 'Size attribute is automatically interpreted as a use of the +'VADS_Size attribute. Note that this may result in incorrect semantic +processing of valid Ada 95 or Ada 2005 programs. This is intended to aid in +the handling of existing code which depends on the interpretation of Size +as implemented in the VADS compiler. See description of the VADS_Size +attribute for further details. + Pragma Validity_Checks ====================== diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 83458cb60a6..cc18673c3dd 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -19,7 +19,7 @@ @copying @quotation -GNAT Reference Manual , Nov 14, 2022 +GNAT Reference Manual , Nov 18, 2022 AdaCore @@ -135,9 +135,9 @@ Implementation Defined Pragmas * Pragma CPP_Vtable:: * Pragma CPU:: * Pragma Deadline_Floor:: -* Pragma Default_Initial_Condition:: * Pragma Debug:: * Pragma Debug_Policy:: +* Pragma Default_Initial_Condition:: * Pragma Default_Scalar_Storage_Order:: * Pragma Default_Storage_Pool:: * Pragma Depends:: @@ -215,8 +215,8 @@ Implementation Defined Pragmas * Pragma Ordered:: * Pragma Overflow_Mode:: * Pragma Overriding_Renamings:: -* Pragma Partition_Elaboration_Policy:: * Pragma Part_Of:: +* Pragma Partition_Elaboration_Policy:: * Pragma Passive:: * Pragma Persistent_BSS:: * Pragma Post:: @@ -284,8 +284,8 @@ Implementation Defined Pragmas * Pragma Unreferenced_Objects:: * Pragma Unreserve_All_Interrupts:: * Pragma Unsuppress:: -* Pragma Use_VADS_Size:: * Pragma Unused:: +* Pragma Use_VADS_Size:: * Pragma Validity_Checks:: * Pragma Volatile:: * Pragma Volatile_Full_Access:: @@ -1220,9 +1220,9 @@ consideration, the use of these pragmas should be minimized. * Pragma CPP_Vtable:: * Pragma CPU:: * Pragma Deadline_Floor:: -* Pragma Default_Initial_Condition:: * Pragma Debug:: * Pragma Debug_Policy:: +* Pragma Default_Initial_Condition:: * Pragma Default_Scalar_Storage_Order:: * Pragma Default_Storage_Pool:: * Pragma Depends:: @@ -1300,8 +1300,8 @@ consideration, the use of these pragmas should be minimized. * Pragma Ordered:: * Pragma Overflow_Mode:: * Pragma Overriding_Renamings:: -* Pragma Partition_Elaboration_Policy:: * Pragma Part_Of:: +* Pragma Partition_Elaboration_Policy:: * Pragma Passive:: * Pragma Persistent_BSS:: * Pragma Post:: @@ -1369,8 +1369,8 @@ consideration, the use of these pragmas should be minimized. * Pragma Unreferenced_Objects:: * Pragma Unreserve_All_Interrupts:: * Pragma Unsuppress:: -* Pragma Use_VADS_Size:: * Pragma Unused:: +* Pragma Use_VADS_Size:: * Pragma Validity_Checks:: * Pragma Volatile:: * Pragma Volatile_Full_Access:: @@ -2823,7 +2823,7 @@ This pragma is standard in Ada 2012, but is available in all earlier versions of Ada as an implementation-defined pragma. See Ada 2012 Reference Manual for details. -@node Pragma Deadline_Floor,Pragma Default_Initial_Condition,Pragma CPU,Implementation Defined Pragmas +@node Pragma Deadline_Floor,Pragma Debug,Pragma CPU,Implementation Defined Pragmas @anchor{gnat_rm/implementation_defined_pragmas pragma-deadline-floor}@anchor{4c} @section Pragma Deadline_Floor @@ -2838,22 +2838,8 @@ This pragma applies only to protected types and specifies the floor deadline inherited by a task when the task enters a protected object. It is effective only when the EDF scheduling policy is used. -@node Pragma Default_Initial_Condition,Pragma Debug,Pragma Deadline_Floor,Implementation Defined Pragmas -@anchor{gnat_rm/implementation_defined_pragmas id8}@anchor{4d}@anchor{gnat_rm/implementation_defined_pragmas pragma-default-initial-condition}@anchor{4e} -@section Pragma Default_Initial_Condition - - -Syntax: - -@example -pragma Default_Initial_Condition [ (null | boolean_EXPRESSION) ]; -@end example - -For the semantics of this pragma, see the entry for aspect -@code{Default_Initial_Condition} in the SPARK 2014 Reference Manual, section 7.3.3. - -@node Pragma Debug,Pragma Debug_Policy,Pragma Default_Initial_Condition,Implementation Defined Pragmas -@anchor{gnat_rm/implementation_defined_pragmas pragma-debug}@anchor{4f} +@node Pragma Debug,Pragma Debug_Policy,Pragma Deadline_Floor,Implementation Defined Pragmas +@anchor{gnat_rm/implementation_defined_pragmas pragma-debug}@anchor{4d} @section Pragma Debug @@ -2880,8 +2866,8 @@ pragmas can be enabled either by use of the command line switch `-gnata' or by use of the pragma @code{Check_Policy} with a first argument of @code{Debug}. -@node Pragma Debug_Policy,Pragma Default_Scalar_Storage_Order,Pragma Debug,Implementation Defined Pragmas -@anchor{gnat_rm/implementation_defined_pragmas pragma-debug-policy}@anchor{50} +@node Pragma Debug_Policy,Pragma Default_Initial_Condition,Pragma Debug,Implementation Defined Pragmas +@anchor{gnat_rm/implementation_defined_pragmas pragma-debug-policy}@anchor{4e} @section Pragma Debug_Policy @@ -2895,7 +2881,21 @@ This pragma is equivalent to a corresponding @code{Check_Policy} pragma with a first argument of @code{Debug}. It is retained for historical compatibility reasons. -@node Pragma Default_Scalar_Storage_Order,Pragma Default_Storage_Pool,Pragma Debug_Policy,Implementation Defined Pragmas +@node Pragma Default_Initial_Condition,Pragma Default_Scalar_Storage_Order,Pragma Debug_Policy,Implementation Defined Pragmas +@anchor{gnat_rm/implementation_defined_pragmas id8}@anchor{4f}@anchor{gnat_rm/implementation_defined_pragmas pragma-default-initial-condition}@anchor{50} +@section Pragma Default_Initial_Condition + + +Syntax: + +@example +pragma Default_Initial_Condition [ (null | boolean_EXPRESSION) ]; +@end example + +For the semantics of this pragma, see the entry for aspect +@code{Default_Initial_Condition} in the SPARK 2014 Reference Manual, section 7.3.3. + +@node Pragma Default_Scalar_Storage_Order,Pragma Default_Storage_Pool,Pragma Default_Initial_Condition,Implementation Defined Pragmas @anchor{gnat_rm/implementation_defined_pragmas pragma-default-scalar-storage-order}@anchor{51} @section Pragma Default_Scalar_Storage_Order @@ -6106,7 +6106,7 @@ overflow checking, but does not affect the overflow mode. The pragma @code{Unsuppress (Overflow_Check)} unsuppresses (enables) overflow checking, but does not affect the overflow mode. -@node Pragma Overriding_Renamings,Pragma Partition_Elaboration_Policy,Pragma Overflow_Mode,Implementation Defined Pragmas +@node Pragma Overriding_Renamings,Pragma Part_Of,Pragma Overflow_Mode,Implementation Defined Pragmas @anchor{gnat_rm/implementation_defined_pragmas pragma-overriding-renamings}@anchor{b0} @section Pragma Overriding_Renamings @@ -6141,40 +6141,40 @@ even though RM 8.3 (15) stipulates that an overridden operation is not visible within the declaration of the overriding operation. -@node Pragma Partition_Elaboration_Policy,Pragma Part_Of,Pragma Overriding_Renamings,Implementation Defined Pragmas -@anchor{gnat_rm/implementation_defined_pragmas pragma-partition-elaboration-policy}@anchor{b1} -@section Pragma Partition_Elaboration_Policy +@node Pragma Part_Of,Pragma Partition_Elaboration_Policy,Pragma Overriding_Renamings,Implementation Defined Pragmas +@anchor{gnat_rm/implementation_defined_pragmas id28}@anchor{b1}@anchor{gnat_rm/implementation_defined_pragmas pragma-part-of}@anchor{b2} +@section Pragma Part_Of Syntax: @example -pragma Partition_Elaboration_Policy (POLICY_IDENTIFIER); +pragma Part_Of (ABSTRACT_STATE); -POLICY_IDENTIFIER ::= Concurrent | Sequential +ABSTRACT_STATE ::= NAME @end example -This pragma is standard in Ada 2005, but is available in all earlier -versions of Ada as an implementation-defined pragma. -See Ada 2012 Reference Manual for details. +For the semantics of this pragma, see the entry for aspect @code{Part_Of} in the +SPARK 2014 Reference Manual, section 7.2.6. -@node Pragma Part_Of,Pragma Passive,Pragma Partition_Elaboration_Policy,Implementation Defined Pragmas -@anchor{gnat_rm/implementation_defined_pragmas id28}@anchor{b2}@anchor{gnat_rm/implementation_defined_pragmas pragma-part-of}@anchor{b3} -@section Pragma Part_Of +@node Pragma Partition_Elaboration_Policy,Pragma Passive,Pragma Part_Of,Implementation Defined Pragmas +@anchor{gnat_rm/implementation_defined_pragmas pragma-partition-elaboration-policy}@anchor{b3} +@section Pragma Partition_Elaboration_Policy Syntax: @example -pragma Part_Of (ABSTRACT_STATE); +pragma Partition_Elaboration_Policy (POLICY_IDENTIFIER); -ABSTRACT_STATE ::= NAME +POLICY_IDENTIFIER ::= Concurrent | Sequential @end example -For the semantics of this pragma, see the entry for aspect @code{Part_Of} in the -SPARK 2014 Reference Manual, section 7.2.6. +This pragma is standard in Ada 2005, but is available in all earlier +versions of Ada as an implementation-defined pragma. +See Ada 2012 Reference Manual for details. -@node Pragma Passive,Pragma Persistent_BSS,Pragma Part_Of,Implementation Defined Pragmas +@node Pragma Passive,Pragma Persistent_BSS,Pragma Partition_Elaboration_Policy,Implementation Defined Pragmas @anchor{gnat_rm/implementation_defined_pragmas pragma-passive}@anchor{b4} @section Pragma Passive @@ -8790,7 +8790,7 @@ For a more general facility for controlling what interrupts can be handled, see pragma @code{Interrupt_State}, which subsumes the functionality of the @code{Unreserve_All_Interrupts} pragma. -@node Pragma Unsuppress,Pragma Use_VADS_Size,Pragma Unreserve_All_Interrupts,Implementation Defined Pragmas +@node Pragma Unsuppress,Pragma Unused,Pragma Unreserve_All_Interrupts,Implementation Defined Pragmas @anchor{gnat_rm/implementation_defined_pragmas pragma-unsuppress}@anchor{10e} @section Pragma Unsuppress @@ -8826,32 +8826,8 @@ Note that in addition to the checks defined in the Ada RM, GNAT recognizes a number of implementation-defined check names. See the description of pragma @code{Suppress} for full details. -@node Pragma Use_VADS_Size,Pragma Unused,Pragma Unsuppress,Implementation Defined Pragmas -@anchor{gnat_rm/implementation_defined_pragmas pragma-use-vads-size}@anchor{10f} -@section Pragma Use_VADS_Size - - -@geindex Size -@geindex VADS compatibility - -@geindex Rational profile - -Syntax: - -@example -pragma Use_VADS_Size; -@end example - -This is a configuration pragma. In a unit to which it applies, any use -of the ‘Size attribute is automatically interpreted as a use of the -‘VADS_Size attribute. Note that this may result in incorrect semantic -processing of valid Ada 95 or Ada 2005 programs. This is intended to aid in -the handling of existing code which depends on the interpretation of Size -as implemented in the VADS compiler. See description of the VADS_Size -attribute for further details. - -@node Pragma Unused,Pragma Validity_Checks,Pragma Use_VADS_Size,Implementation Defined Pragmas -@anchor{gnat_rm/implementation_defined_pragmas id52}@anchor{110}@anchor{gnat_rm/implementation_defined_pragmas pragma-unused}@anchor{111} +@node Pragma Unused,Pragma Use_VADS_Size,Pragma Unsuppress,Implementation Defined Pragmas +@anchor{gnat_rm/implementation_defined_pragmas id52}@anchor{10f}@anchor{gnat_rm/implementation_defined_pragmas pragma-unused}@anchor{110} @section Pragma Unused @@ -8884,7 +8860,31 @@ are typically to be used in cases where such warnings are expected. Thus it is never necessary to use @code{pragma Unused} for such variables, though it is harmless to do so. -@node Pragma Validity_Checks,Pragma Volatile,Pragma Unused,Implementation Defined Pragmas +@node Pragma Use_VADS_Size,Pragma Validity_Checks,Pragma Unused,Implementation Defined Pragmas +@anchor{gnat_rm/implementation_defined_pragmas pragma-use-vads-size}@anchor{111} +@section Pragma Use_VADS_Size + + +@geindex Size +@geindex VADS compatibility + +@geindex Rational profile + +Syntax: + +@example +pragma Use_VADS_Size; +@end example + +This is a configuration pragma. In a unit to which it applies, any use +of the ‘Size attribute is automatically interpreted as a use of the +‘VADS_Size attribute. Note that this may result in incorrect semantic +processing of valid Ada 95 or Ada 2005 programs. This is intended to aid in +the handling of existing code which depends on the interpretation of Size +as implemented in the VADS compiler. See description of the VADS_Size +attribute for further details. + +@node Pragma Validity_Checks,Pragma Volatile,Pragma Use_VADS_Size,Implementation Defined Pragmas @anchor{gnat_rm/implementation_defined_pragmas pragma-validity-checks}@anchor{112} @section Pragma Validity_Checks @@ -9536,7 +9536,7 @@ This aspect is equivalent to @ref{54,,pragma Depends}. @geindex Default_Initial_Condition -This aspect is equivalent to @ref{4e,,pragma Default_Initial_Condition}. +This aspect is equivalent to @ref{50,,pragma Default_Initial_Condition}. @node Aspect Dimension,Aspect Dimension_System,Aspect Default_Initial_Condition,Implementation Defined Aspects @anchor{gnat_rm/implementation_defined_aspects aspect-dimension}@anchor{129} @@ -9943,7 +9943,7 @@ delayed until the freeze point. @geindex Part_Of -This aspect is equivalent to @ref{b3,,pragma Part_Of}. +This aspect is equivalent to @ref{b2,,pragma Part_Of}. @node Aspect Persistent_BSS,Aspect Predicate,Aspect Part_Of,Implementation Defined Aspects @anchor{gnat_rm/implementation_defined_aspects aspect-persistent-bss}@anchor{144} diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 12eb494d40d..f268be01ad1 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -29386,8 +29386,8 @@ to permit their use in free software. @printindex ge -@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @anchor{cf}@w{ } +@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @c %**end of body @bye