From patchwork Tue Nov 28 09:39:31 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Marc_Poulhi=C3=A8s?= X-Patchwork-Id: 170653 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:ce62:0:b0:403:3b70:6f57 with SMTP id o2csp3793054vqx; Tue, 28 Nov 2023 01:41:14 -0800 (PST) X-Google-Smtp-Source: AGHT+IFxVYTGNfXAOlYrP3mf0Dl/u8sotlfJqfCOg0efhhhRyCoO0cVSc/vdu5F14xHK1kUdQGj0 X-Received: by 2002:a25:1908:0:b0:da0:cc14:b66 with SMTP id 8-20020a251908000000b00da0cc140b66mr11997847ybz.9.1701164474193; Tue, 28 Nov 2023 01:41:14 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1701164474; cv=pass; d=google.com; s=arc-20160816; b=OCavnLzReDA/2Z62yQD0vJAsWS6FGGrO4k9XWR6T43cSUPf41+9ZywBDftD+Cog4O0 LnZ3FpB+tfBFYbqyU9Fmi+JMK6FDPi2tZm4IUrmZOH3jGm0aSrs3g5Se59P+ji4Y+ZGg PUtoGo51zUPn/n72OxGbOTHngMnRshZJnTxa/CPnHU2VgR+16NtvpZgwVRyTveCSuhE8 Um9H1iN3kpY2PbfbMxqBmv8twc2mlEQr9yI5hnsVrAZTFEnMEUw9jKYs5QISSRdFuwo5 KvUTGnbbZOlYQfy2wfr2gHkGCk0BSwpxv2d9LfN4itixTiG02qmwTR19N3VXwZSuErwS z6nw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=WhnnkOK9b6qJ7Q0KvCzBpjMtOMOU1fST/t7mvefH/Ws=; fh=hOhsC1930eHatDPYd2EALQ9Ry/g++vvN4vxlQkRuX+0=; b=HvU1tgjwgyeYWbjsp0BxLbJskuF/wBEjx3Gw1WQ9eerrLaTIMmrcoLiCSJ/ef1OP8W War4/x3EfPgjkFsseZJukUYEfLxB2MUzQLDRK2tsij/hxVQUhzYNiKFgWY7DJs7j7ZOI u9L2ItEL34OYtfVDGWV6g4SnQAwdxbnJA9Npy6IFl7xj706MHFBolJXb8Xvm3DUC4WZj a1pmgcfaTm5BSyyvU3o3Zd0mYZbwDBuOhDOihYIKoe3ZlTsG3owpm48XZQ6ln1tK9CsM SXT9spgtT8jZ8TQS2v4PLSsZMZjK8aQMeXzoAbhl2aOOREVQyE6I5MGu+Fx9q6EeCkpD BBCg== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@adacore.com header.s=google header.b=Wxm0sUNK; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=adacore.com Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id q13-20020a056214194d00b0067a39370729si5548244qvk.83.2023.11.28.01.41.14 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 28 Nov 2023 01:41:14 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@adacore.com header.s=google header.b=Wxm0sUNK; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=adacore.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id AE3773948A58 for ; Tue, 28 Nov 2023 09:40:31 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-pf1-x434.google.com (mail-pf1-x434.google.com [IPv6:2607:f8b0:4864:20::434]) by sourceware.org (Postfix) with ESMTPS id 8F32B3942024 for ; Tue, 28 Nov 2023 09:39:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 8F32B3942024 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 8F32B3942024 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::434 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701164382; cv=none; b=Wkcj+AKxpSTr+mUiYRie2JcYy0rUvNve5E8Xgzbt/num8utq9jbtVBM5k/GzXo9CZwhJM5MZtc9Dc9U/JEWA2Cv9tYSc5vK41bHDIikCtvyFdzyXt+czIaYM4pgupcLWoZAZOQUwldUtr22hFv5wuPOQ1ESWg3sqvTJa9xpWC5E= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701164382; c=relaxed/simple; bh=+LnNcSP2qgwAO6ifrmdt/KzlCIiC+7Aw1wybV2RUHx4=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=sTNPdGEwwrrb5tdMGgmPn3xdf8xJh4MaYQOVc70KKsFg77HDRl+qkGNUp+nOClJFMAUVKVpFtbkCouIRHUFDMpsJgfvAWRqadUan6l2KoZ208k17oOmGFtXf+Q3kL+XF/yRn6IByZdZNaL4odfcv6NalRuc5uXumeuJq9rbBouQ= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-pf1-x434.google.com with SMTP id d2e1a72fcca58-6cc2027f7a2so2417033b3a.2 for ; Tue, 28 Nov 2023 01:39:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1701164379; x=1701769179; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=WhnnkOK9b6qJ7Q0KvCzBpjMtOMOU1fST/t7mvefH/Ws=; b=Wxm0sUNKKk/QqrWGZPnnHPZAjwjxsZ4LLOqfF5oBYVWwnye+uyECdz6IS6tZ2++sD0 KlgX0hdNCyNux3Z+whrp48eB6B8NB1xzLSmrsmmIOuwXfffzmRBvKOQDjIipWFqhWGdT 9Y2OSPoofeurVVQLwVaTbg7GctMvZql1ucs3rPjnQjCHGc0xjGGCklzTqr2W7Xg2/ztc Um6hmwu7T70fHYSR1TfxGRtC5MQYX/j5bGh88fsoBUN3M5606KM6TWYFRliqMtRKsD/1 iKEvcqJYZndqiSME2TquD5crc8webNMosLZF7cJ9vtxotS7/n70FoDf8avzSEORlBDrH /trA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701164379; x=1701769179; 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=WhnnkOK9b6qJ7Q0KvCzBpjMtOMOU1fST/t7mvefH/Ws=; b=a9Vo7nardwTVrGrloYhXxcOnXMpQbQg+3UDz7xZ0kkhpETIJ3+3hLH2WSom7P8Des3 vmd1BfHzNdaUwIlSK+wxKG6F2FNE5LIOcMCUXHc24B1o07v8oWFulRns0f3tmpj4On0E LB/hDIDj+9J2OH1k38g8ENPfUf5R5BQ7x+S+/ivhnIwMjlNYMM2T07On6cUzxWcSOr3n /IoKlzgukIf3yIyzjfvQm/4hNwbZQakcjXtyKIWhK021nVKmkQJI4cNa7m3Y5fe+Bi2k s2/gvTjKcDD5g4UCq3cgz+90S0OLhwNC9+sH9ADurlflnJeJPi3YFg0QNJN/I2aDEx4E mq0A== X-Gm-Message-State: AOJu0Yw3c7uecMGZRhF3punz+FeKKZ1WycaeMr3kaWmLDmuLltk3tb1u 0U54DyL0qVY1IBANXC+/G9rgnJb5d8KMB1WEMoSHhQ== X-Received: by 2002:a05:6a20:9e49:b0:189:2e8f:d378 with SMTP id mt9-20020a056a209e4900b001892e8fd378mr16017627pzb.61.1701164379487; Tue, 28 Nov 2023 01:39:39 -0800 (PST) Received: from localhost.localdomain ([2001:861:3382:1a90:a24b:a65f:9576:c701]) by smtp.gmail.com with ESMTPSA id t19-20020a056a0021d300b006cb797722e6sm8543202pfj.109.2023.11.28.01.39.37 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 28 Nov 2023 01:39:39 -0800 (PST) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Eric Botcazou Subject: [COMMITTED] ada: Fix incorrect quoting in documentation Date: Tue, 28 Nov 2023 10:39:31 +0100 Message-ID: <20231128093931.2971051-1-poulhies@adacore.com> X-Mailer: git-send-email 2.42.0 MIME-Version: 1.0 X-Spam-Status: No, score=-13.7 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, T_SCC_BODY_TEXT_LINE 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.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1783800239622351070 X-GMAIL-MSGID: 1783800239622351070 From: Eric Botcazou gcc/ada/ * doc/gnat_rm/the_implementation_of_standard_i_o.rst: Fix a couple occurrences of incorrect quoting. * gnat_rm.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/doc/gnat_rm/the_implementation_of_standard_i_o.rst | 5 ++--- gcc/ada/gnat_rm.texi | 7 +++---- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/the_implementation_of_standard_i_o.rst b/gcc/ada/doc/gnat_rm/the_implementation_of_standard_i_o.rst index e0b9e0c00d8..f6d884d0823 100644 --- a/gcc/ada/doc/gnat_rm/the_implementation_of_standard_i_o.rst +++ b/gcc/ada/doc/gnat_rm/the_implementation_of_standard_i_o.rst @@ -70,7 +70,7 @@ library streams facility; where * All files are opened using ``fopen``. * - All input/output operations use ``fread``/`fwrite`. + All input/output operations use ``fread``/``fwrite``. There is no internal buffering of any kind at the Ada library level. The only buffering is that provided at the system level in the implementation of the @@ -127,8 +127,7 @@ The records of a Direct_IO file are simply written to the file in index sequence, with the first record starting at offset zero, and subsequent records following. There is no control information of any kind. For example, if 32-bit integers are being written, each record takes -4-bytes, so the record at index ``K`` starts at offset -(``K``-1)*4. +4-bytes, so the record at index ``K`` starts at offset ``(K-1)*4``. There is no limit on the size of Direct_IO files, they are expanded as necessary to accommodate whatever records are written to the file. diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 52ddb27fd01..a6a1a67b661 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -19,7 +19,7 @@ @copying @quotation -GNAT Reference Manual , Oct 26, 2023 +GNAT Reference Manual , Nov 24, 2023 AdaCore @@ -21621,7 +21621,7 @@ library streams facility; where All files are opened using @code{fopen}. @item -All input/output operations use @code{fread}/@cite{fwrite}. +All input/output operations use @code{fread}/@code{fwrite}. @end itemize There is no internal buffering of any kind at the Ada library level. The only @@ -21675,8 +21675,7 @@ The records of a Direct_IO file are simply written to the file in index sequence, with the first record starting at offset zero, and subsequent records following. There is no control information of any kind. For example, if 32-bit integers are being written, each record takes -4-bytes, so the record at index @code{K} starts at offset -(@code{K}-1)*4. +4-bytes, so the record at index @code{K} starts at offset @code{(K-1)*4}. There is no limit on the size of Direct_IO files, they are expanded as necessary to accommodate whatever records are written to the file.