From patchwork Thu Jun 20 08:53:08 2024 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: 1950013 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256 header.s=google header.b=iLt2UWdc; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces+incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4W4ZYR0wMzz20X8 for ; Thu, 20 Jun 2024 19:14:03 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 49C42389244B for ; Thu, 20 Jun 2024 09:14:01 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x432.google.com (mail-wr1-x432.google.com [IPv6:2a00:1450:4864:20::432]) by sourceware.org (Postfix) with ESMTPS id 901AF388A024 for ; Thu, 20 Jun 2024 08:53:47 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 901AF388A024 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine 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 901AF388A024 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::432 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1718873639; cv=none; b=SCII3bv7s2rrfkpCs0aU0ka3493r5kZfL4ovsHOs7iPFK9ek18MXW5yWkodZUvu1VSbBfVetJfcOHIUs6M5smpI8R4zXbDtn82ubE7lEedC8QUNC3CTKL6r/7a47mdMCkx6pApyFFpI+CJxKhu98omkgTK4NzpBV8lkYSmV4nsM= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1718873639; c=relaxed/simple; bh=I3uabvRV18Hk/nFYsRLvqDMsewaqfRaeTMg9gg2Di0o=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=YibHdwgkx5wzANoHAEoPcLAC9fCQsY3r7VV85XqD2lxRVrSCv68JJCDcG3GoOLeOKPoqdHXOmIbaXAlsy7pKqnIrbZbni+s+sgy8PaVkbIKoycV7NkHgm5ednHE7h3bRMoa5ZRO7qDWzqInkA0ks6Dec8T8ITTmlHeKQGDGAMFY= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x432.google.com with SMTP id ffacd0b85a97d-364c9ec17d1so234668f8f.0 for ; Thu, 20 Jun 2024 01:53:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1718873626; x=1719478426; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=uTtucMtlnyjqiU/Lk6OsC3qseWLQROJH3h09k+umtvc=; b=iLt2UWdcmAIhOih/qni5q7Vmcsrm5em0rRCEHtG0GLWqPKJQ47zv4j03LBNH7dvevw nwxEyykgh4xg2yH0Li3GqzOYXN4ec0Y5nTZRKWx7ST8pa/ao9J03UGUKLyIzFn/jhR7d p+ueTmyn6Ww9a7FkQlAkU7RmbjF0vxI4hf3l4lqGyntJ+8v0nEFdEq/JztGfps7gmeqJ 9zkifMraST8DsR4PzZjbu8yGUgaLcf4zi9w0yVS27dEe4XqF7SWKsnJ5ewHQJll3UcGj G5cV9unUSI9U8V/p4vK1t2wmnhws8ehJr0DlaAV9Kie49pE5xlJt639ph0TQWpwlRR96 l7vw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718873626; x=1719478426; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=uTtucMtlnyjqiU/Lk6OsC3qseWLQROJH3h09k+umtvc=; b=cDbkm+2vXM8RDBgF4MXjQsNpLR7Wzz9rPO94CrvnB+NT5e7pecc8VdUHppKEJI/1RB O0xZ+yh0ydQO/W1bD3cwobkomK6KhY3vs4eTu9LHOHx5O1vc4HO0ICqP9AnyEc1FgSqd NLwgIiopKHQ/BJ930rhSwAnent73gBU3xdkgTLqHu5ApQrJrsHnMCqnMQJniURyDIRwJ +ygCb7fxJlwpWNDBAk4GivcHwjh+bMkvx1DiMQu2pDqrh81smAVgF9ZD4KxPtEp3th7t jhTnQT7sp/Fu2VqDQIYMzU52+jyaF32cGLk8Gb+2S2Q80tyroU6qFudDh/nkWe87UQJt VLwQ== X-Gm-Message-State: AOJu0YyfX2SHlzmKydSFdklz1ok2ZKbCkTGCttNNReKjr8SQA7O9xexN 8jZAQSFnwijhb2Ag5l9O8ej57Y6Yrs57E0Fwo7j1m9exZfnBlcn1yxr7zcU99gcDpuJ1au5GHnQ = X-Google-Smtp-Source: AGHT+IFiUcLL3tK7lzOv49umTgNMymWD2Bv5wI7Wq4piabN5Vu4fmYMuJG/i3jZLcIarfA7vOWJfIQ== X-Received: by 2002:a5d:58e6:0:b0:362:6908:e2dc with SMTP id ffacd0b85a97d-36317c7a095mr3696989f8f.33.1718873626331; Thu, 20 Jun 2024 01:53:46 -0700 (PDT) Received: from poulhies-Precision-5550.telnowedge.local (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-363c795febfsm3305522f8f.104.2024.06.20.01.53.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 20 Jun 2024 01:53:45 -0700 (PDT) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Eric Botcazou Subject: [COMMITTED 18/30] ada: Update Bit Ordering references in GNAT Reference Manual Date: Thu, 20 Jun 2024 10:53:08 +0200 Message-ID: <20240620085321.2412421-18-poulhies@adacore.com> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240620085321.2412421-1-poulhies@adacore.com> References: <20240620085321.2412421-1-poulhies@adacore.com> 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+incoming=patchwork.ozlabs.org@gcc.gnu.org From: Eric Botcazou They are still tailored to Ada 95 while the level of recommended support for Bit Ordering was changed in Ada 2005. gcc/ada/ * doc/gnat_rm/implementation_advice.rst (Representation Clauses): Remove >> marker and add end of sentence after code-block directive. (RM 13.5.3(7-8)): Update to Ada 2005 wording. * doc/gnat_rm/implementation_defined_characteristics.rst (RM 13.5.3(5)): Likewise. * gnat_rm.texi: Regenerate. * gnat_ugn.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/doc/gnat_rm/implementation_advice.rst | 15 +++++---- ...implementation_defined_characteristics.rst | 4 +-- gcc/ada/gnat_rm.texi | 31 +++++++++---------- gcc/ada/gnat_ugn.texi | 2 +- 4 files changed, 24 insertions(+), 28 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/implementation_advice.rst b/gcc/ada/doc/gnat_rm/implementation_advice.rst index f2f34db6835..435cfa412ce 100644 --- a/gcc/ada/doc/gnat_rm/implementation_advice.rst +++ b/gcc/ada/doc/gnat_rm/implementation_advice.rst @@ -302,14 +302,15 @@ RM 13.1 (21-24): Representation Clauses Followed. In fact, GNAT goes beyond the recommended level of support by allowing nonstatic expressions in some representation clauses even without the need to declare constants initialized with the values of -such expressions. -For example: +such expressions. For example: .. code-block:: ada X : Integer; Y : Float; - for Y'Address use X'Address;>> + for Y'Address use X'Address; + +is accepted directly by GNAT. "An implementation need not support a specification for the ``Size`` @@ -585,12 +586,10 @@ RM 13.5.3(7-8): Bit Ordering "The recommended level of support for the non-default bit ordering is: - If ``Word_Size`` = ``Storage_Unit``, then the implementation - should support the non-default bit ordering in addition to the default - bit ordering." + The implementation should support the nondefault bit ordering in addition + to the default bit ordering." -Followed. Word size does not equal storage size in this implementation. -Thus non-default bit ordering is not supported. +Followed. .. index:: Address, as private type diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst index 0d3f340f1c7..54bcd0c1732 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst @@ -554,9 +554,7 @@ which contains a pointer to the dispatching table. "If ``Word_Size`` = ``Storage_Unit``, the default bit ordering. See 13.5.3(5)." -``Word_Size`` (32) is not the same as ``Storage_Unit`` (8) for this -implementation, so no non-default bit ordering is supported. The default -bit ordering corresponds to the natural endianness of the target architecture. +``Word_Size`` does not equal ``Storage_Unit`` in this implementation. * "The contents of the visible part of package ``System``. See 13.7(2)." diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 0c15ad511fa..553e4174d47 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -14363,21 +14363,24 @@ declared before the entity.” Followed. In fact, GNAT goes beyond the recommended level of support by allowing nonstatic expressions in some representation clauses even without the need to declare constants initialized with the values of -such expressions. -For example: +such expressions. For example: @example - X : Integer; - Y : Float; - for Y'Address use X'Address;>> +X : Integer; +Y : Float; +for Y'Address use X'Address; +@end example + +is accepted directly by GNAT. +@quotation -"An implementation need not support a specification for the `@w{`}Size`@w{`} +“An implementation need not support a specification for the @code{Size} for a given composite subtype, nor the size or storage place for an object (including a component) of a given composite subtype, unless the constraints on the subtype and its composite subcomponents (if any) are -all static constraints." -@end example +all static constraints.” +@end quotation Followed. Size Clauses are not permitted on nonstatic components, as described above. @@ -14747,13 +14750,11 @@ Followed. There are no such components in GNAT. “The recommended level of support for the non-default bit ordering is: -If @code{Word_Size} = @code{Storage_Unit}, then the implementation -should support the non-default bit ordering in addition to the default -bit ordering.” +The implementation should support the nondefault bit ordering in addition +to the default bit ordering.” @end quotation -Followed. Word size does not equal storage size in this implementation. -Thus non-default bit ordering is not supported. +Followed. @geindex Address @geindex as private type @@ -16787,9 +16788,7 @@ which contains a pointer to the dispatching table. ordering. See 13.5.3(5).” @end itemize -@code{Word_Size} (32) is not the same as @code{Storage_Unit} (8) for this -implementation, so no non-default bit ordering is supported. The default -bit ordering corresponds to the natural endianness of the target architecture. +@code{Word_Size} does not equal @code{Storage_Unit} in this implementation. @itemize * diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index bba4f25aa13..db06a771ddd 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -29666,8 +29666,8 @@ to permit their use in free software. @printindex ge -@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @anchor{d1}@w{ } +@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @c %**end of body @bye