From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x32f.google.com (mail-wm1-x32f.google.com [IPv6:2a00:1450:4864:20::32f]) by sourceware.org (Postfix) with ESMTPS id 97CF6385DC05 for ; Fri, 4 Nov 2022 13:57:48 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 97CF6385DC05 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wm1-x32f.google.com with SMTP id bg9-20020a05600c3c8900b003bf249616b0so3223745wmb.3 for ; Fri, 04 Nov 2022 06:57:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=ISgn9PcebYiOr3pDch3w1RR/Nd3hf4Qg5LXpLOJukyo=; b=bUktPzIiwkzawHxW1RNPJ4+U88a6k4cVe4UbB/FANjFCZzE+iSEN9kfvWmhhoTDN1n Uu1nLTlSlklTyVE4Fl6RloO9KEd0epH+MKf3X5cwWL5VVwCKsv/gpOXpqybQeV3ue2X2 y6wYEmXXEZfAfqZfoIwBw0u0AnwU/7o0zFZgG1jcVVXAy7yQsIIYX1xMjhlVDhB47yG4 Ao2yCwQyqnxbDOE4GASZjyh0vm/ejZyY+6B/VYt96598OdIJJk6DpYQBZOQIXz1u9k3n hrORZecABcDkvM0MVtujji3w3sctbxsVPI5gJPPSvWExtdypeaTbwXGDUHbhvvA3wYX4 Fhjg== 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=ISgn9PcebYiOr3pDch3w1RR/Nd3hf4Qg5LXpLOJukyo=; b=m3PqWkKzCH9mex1JeFt2E+8z8tyYd6y/E/EB8VLoq34lVv2M1P6QMqPGOJDtpqULG6 d1v0JfdVMr6u3yIduLtau0u8EQDwzM0y4nM5sCsUKLP5qz9Gc/YZ36UCyPdf+HCAeRtN fXnA0kg4LdoTIf4ucY99Jqo5S16FXWsYzMZte/vJTf94WiL++g/m5clcGZ2R+pnrNrdz Siu7HVsTI0zwiX7wCRhIdm1CrOdwGedbMGI6j6BoCxoAoObpBARkSEH3Nh97WB+JBkpn IEHJCHh7WT6PtxXeFx7/HRgnzuEk1T4apIMSwqmcnFlBUaPK3Q6HysGIc0aTD0FPeVqg HzYw== X-Gm-Message-State: ACrzQf3sxW7+k6KvAlPvZD5bttqB+e4r3lEY/6kKhUwwZbSGLvfqW443 y/0e+cxTVFG9BSPaLF7XndRXujvpfLaFCg== X-Google-Smtp-Source: AMsMyM7uqX4slksCGKMV1+H74+N/pJcujjyHpC92YlzuiwhXoC0JLabd4tkhtXfQnTd7cLGEpu3YfA== X-Received: by 2002:a7b:cbcd:0:b0:3cf:68d3:3027 with SMTP id n13-20020a7bcbcd000000b003cf68d33027mr21493603wmi.58.1667570267344; Fri, 04 Nov 2022 06:57:47 -0700 (PDT) Received: from localhost.localdomain (static-176-191-105-132.ftth.abo.bbox.fr. [176.191.105.132]) by smtp.gmail.com with ESMTPSA id x10-20020a05600c21ca00b003c6f3f6675bsm2800465wmj.26.2022.11.04.06.57.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 04 Nov 2022 06:57:46 -0700 (PDT) From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek Subject: [COMMITTED] ada: Fix various typos in GNAT User's Guide Date: Fri, 4 Nov 2022 14:57:43 +0100 Message-Id: <20221104135743.86571-1-poulhies@adacore.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,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 List-Id: From: Piotr Trojanek Fix uncontroversial typos. gcc/ada/ * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix typos. * doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Fix typos and refill as necessary; remove trailing whitespace. * doc/gnat_ugn/gnat_and_program_execution.rst: Fix typos. * gnat_ugn.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- .../building_executable_programs_with_gnat.rst | 2 +- .../elaboration_order_handling_in_gnat.rst | 15 ++++++++------- .../doc/gnat_ugn/gnat_and_program_execution.rst | 4 ++-- gcc/ada/gnat_ugn.texi | 13 +++++++------ 4 files changed, 18 insertions(+), 16 deletions(-) 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 49cfc7477af..83bc50f7e91 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 @@ -7403,7 +7403,7 @@ development environments much more flexible. Examples of ``gnatbind`` Usage ------------------------------ -Here are some examples of ``gnatbind`` invovations: +Here are some examples of ``gnatbind`` invocations: :: diff --git a/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst b/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst index 4982ebf4b10..76a1461777e 100644 --- a/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst +++ b/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst @@ -265,7 +265,7 @@ respect to control and data flow. Checking the Elaboration Order ============================== -To avoid placing the entire elaboration-order burden on the programmer, Ada +To avoid placing the entire elaboration-order burden on the programmer, Ada provides three lines of defense: * *Static semantics* @@ -931,9 +931,9 @@ Resolving Elaboration Circularities =================================== The most desirable option from the point of view of long-term maintenance is to -rearrange the program so that the elaboration problems are avoided. One useful -technique is to place the elaboration code into separate child packages. -Another is to move some of the initialization code to explicitly invoked +rearrange the program so that the elaboration problems are avoided. One useful +technique is to place the elaboration code into separate child packages. +Another is to move some of the initialization code to explicitly invoked subprograms, where the program controls the order of initialization explicitly. Although this is the most desirable option, it may be impractical and involve too much modification, especially in the case of complex legacy code. @@ -990,8 +990,9 @@ following tactics to eliminate the circularity: change pragma Elaborate_All for unit "..." to Elaborate in unit "..." This tactic is always suggested with the pragma ``Elaborate_All`` elimination - tactic. It offers a different alernative of guaranteeing that the argument of - the pragma will still be elaborated prior to the unit containing the pragma. + tactic. It offers a different alternative of guaranteeing that the argument + of the pragma will still be elaborated prior to the unit containing the + pragma. The programmer should update the pragma as advised, and rebuild the program. @@ -1281,7 +1282,7 @@ Summary of Procedures for Elaboration Control A programmer should first compile the program with the default options, using none of the binder or compiler switches. If the binder succeeds in finding an -elaboration order, then apart from possible cases involing dispatching calls +elaboration order, then apart from possible cases involving dispatching calls and access-to-subprogram types, the program is free of elaboration errors. If it is important for the program to be portable to compilers other than GNAT, diff --git a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst index 0d78e433e73..e827d1f9841 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst @@ -2321,7 +2321,7 @@ erroneous, and the compiler would be entitled to assume that However, in practice, this would cause some existing code that seems to work with no optimization to start failing at high -levels of optimzization. +levels of optimization. What the compiler does for such cases is to assume that marking a variable as aliased indicates that some "funny business" may @@ -2728,7 +2728,7 @@ To deal with the portability issue, and with the problem of mathematical versus run-time interpretation of the expressions in assertions, GNAT provides comprehensive control over the handling of intermediate overflow. GNAT can operate in three modes, and -furthemore, permits separate selection of operating modes for +furthermore, permits separate selection of operating modes for the expressions within assertions (here the term 'assertions' is used in the technical sense, which includes preconditions and so forth) and for expressions appearing outside assertions. diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 513ab1e4e94..0f23d5b6a35 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -16717,7 +16717,7 @@ development environments much more flexible. @subsection Examples of @code{gnatbind} Usage -Here are some examples of @code{gnatbind} invovations: +Here are some examples of @code{gnatbind} invocations: @quotation @@ -20793,7 +20793,7 @@ erroneous, and the compiler would be entitled to assume that However, in practice, this would cause some existing code that seems to work with no optimization to start failing at high -levels of optimzization. +levels of optimization. What the compiler does for such cases is to assume that marking a variable as aliased indicates that some “funny business” may @@ -21244,7 +21244,7 @@ To deal with the portability issue, and with the problem of mathematical versus run-time interpretation of the expressions in assertions, GNAT provides comprehensive control over the handling of intermediate overflow. GNAT can operate in three modes, and -furthemore, permits separate selection of operating modes for +furthermore, permits separate selection of operating modes for the expressions within assertions (here the term ‘assertions’ is used in the technical sense, which includes preconditions and so forth) and for expressions appearing outside assertions. @@ -27324,8 +27324,9 @@ change pragma Elaborate_All for unit "..." to Elaborate in unit "..." @end example This tactic is always suggested with the pragma @code{Elaborate_All} elimination -tactic. It offers a different alernative of guaranteeing that the argument of -the pragma will still be elaborated prior to the unit containing the pragma. +tactic. It offers a different alternative of guaranteeing that the argument +of the pragma will still be elaborated prior to the unit containing the +pragma. The programmer should update the pragma as advised, and rebuild the program. @@ -27698,7 +27699,7 @@ checks. The example above will still fail at run time with an ABE. A programmer should first compile the program with the default options, using none of the binder or compiler switches. If the binder succeeds in finding an -elaboration order, then apart from possible cases involing dispatching calls +elaboration order, then apart from possible cases involving dispatching calls and access-to-subprogram types, the program is free of elaboration errors. If it is important for the program to be portable to compilers other than GNAT, -- 2.34.1