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: 80897 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 75671394D8E6 for ; Tue, 28 Nov 2023 09:40:22 +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-Google-Smtp-Source: AGHT+IE7IYpdEfecfzeaBuCa1AOQvjNPDPY6uDm6aQXuZK1hK30hl2eq5S4jqqr/Vs5vsxPrmhJeIQ== 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+patchwork=sourceware.org@gcc.gnu.org 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.