From patchwork Thu Jun 20 08:53:02 2024 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: 1950007 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=WgReLTkp; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=8.43.85.97; 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 [8.43.85.97]) (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 4W4ZTY4SSNz20X8 for ; Thu, 20 Jun 2024 19:10:41 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id CE2BA388CC13 for ; Thu, 20 Jun 2024 09:10:39 +0000 (GMT) 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 C991E3889818 for ; Thu, 20 Jun 2024 08:53:41 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C991E3889818 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 C991E3889818 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::434 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1718873628; cv=none; b=a3hKSKY6ZJbESXH0nZ2QuasJKBWyX23YWnRW6/hDwWeFoBXo8VkYFk/0LITUmXREVGLniTfgmHo4bX6widBmlZmr5SYpMgrxHBhIotYKh3Y/gp2SSMCQrWPRKphl1ckzIGrjJyGRdKUWdBiAA/Yzc2ykrX2IslWMVH3O39TtZGM= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1718873628; c=relaxed/simple; bh=4UPs3uupSsd32IfBzz6BqQ3DEo+P9uYSe1dckxov8is=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=c06ztHaPBxv/wIN8L1kHYCKGOoKDi1y3PIrkao4Vx57n6WFe+CvgtKrZV/RRmFXlzGXn+KaJV04B6XENRjCXqZ1Cx7XRcLSvDkGyOn9IjltLhvQC1b3rbh3Y283DwtpNG8GFmqzWU1Xt+abSfBDE33qcZKCI92xdKBNTr8vm30s= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x434.google.com with SMTP id ffacd0b85a97d-3651ee582cfso165301f8f.2 for ; Thu, 20 Jun 2024 01:53:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1718873620; x=1719478420; 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=AvqoOKxXHVl6xrfzcbfMlPwd5YCsyWNdDa7sT2yWYU0=; b=WgReLTkpcsByBzKd5yGdvLtiUD8aK57I/7+NEfNj4cCxpbipWN2bRdm5J9HT/4aI5C BM6tiailtgNQZ1jKe9f70TN/I61oV9ezFmFXgSLf6f/fijyeo6lNbtjxdaCpeFB51353 ctdI3AceCTynZHgVvO5gZY7H5Gon5UTFf0+IRco6EbJ7y1wWzy9TQJ4kaZh8DgIXj8Nl NYy5xQ1+Or40W91wFC5JgCiiXJ8xQyOEe0d4PNe+s9HOdtwQnb4KL1uGE+sLQ3zv4n8j N74nljtNLNi8EuKFvBmOjAmEPOEWUuibk8xShsOAl/+Y6qeos3rCCLDkOD1ssdS291+m 7Reg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718873620; x=1719478420; 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=AvqoOKxXHVl6xrfzcbfMlPwd5YCsyWNdDa7sT2yWYU0=; b=gi+c7dwuZE+kbOO5v5w4hdy+fRFnLzrlSPBRQGZP9kRS5l9MjuWSDSuvHVLdrYToy/ EUN+xRoJcU17TBa/kVaZuFLXh9sUjQL7TvPUTYGrhkSWHYE52o0cgftgwsj5pK5YLsut kQJYBB+wA7TnUJWIuq58SKlrheupb8aLw2ZL2NQnrKEUkbqEoR35wUoHkzPCuc6Oyshr WZH1ZJol7mFPJDA3IiXJWamWmaNutP5Ss1hYsdZsm4j7jJXS5a1An9HoIFd2vfKizuXl MUJjTvlX06Hj1k06N7NYIl7tzAk9AsQ8zy8jCa8gaZu/nDjVChYL+JOS5QrIWk62pscx aetg== X-Gm-Message-State: AOJu0YxzfK+rY5FqOg6mmwiu96+1K+d2BAxHrbB0SUnA3ShAsH4SJYSS IU9FiJFrIFAWSVYzjCEuKSvfW9StglgwbvgHqF7E4/lXNsOgys0ty/gi2gtGdZVMwerVCSbcQyE = X-Google-Smtp-Source: AGHT+IExO5nRc4MzrTZC/xsntXa3X+Rr/i+L+9xSCt/5sc0Y/nqzdMhInbSqWfIr5uwM3draQKXPXQ== X-Received: by 2002:a5d:464a:0:b0:360:7f85:69a4 with SMTP id ffacd0b85a97d-363171e19ccmr3599957f8f.3.1718873620579; Thu, 20 Jun 2024 01:53:40 -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.39 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 20 Jun 2024 01:53:40 -0700 (PDT) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Eric Botcazou Subject: [COMMITTED 12/30] ada: Couple of minor fixes in GNAT Reference Manual Date: Thu, 20 Jun 2024 10:53:02 +0200 Message-ID: <20240620085321.2412421-12-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.3 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, 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 The Storage_Model pragma no longer exists. gcc/ada/ * doc/gnat_rm/gnat_language_extensions.rst (Pragma Storage_Model): Rename to Storage Model. * doc/gnat_rm/implementation_defined_aspects.rst: Alphabetize. * gnat_rm.texi: Regenerate. * gnat_ugn.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- .../doc/gnat_rm/gnat_language_extensions.rst | 4 +- .../implementation_defined_aspects.rst | 13 +++--- gcc/ada/gnat_rm.texi | 42 +++++++++---------- gcc/ada/gnat_ugn.texi | 2 +- 4 files changed, 30 insertions(+), 31 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst index 99cab9d2816..f71e8f6eef8 100644 --- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst +++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst @@ -355,8 +355,8 @@ particular the ``Shift_Left`` and ``Shift_Right`` intrinsics. Experimental Language Extensions ================================ -Pragma Storage_Model --------------------- +Storage Model +------------- This feature proposes to redesign the concepts of Storage Pools into a more efficient model allowing higher performances and easier integration with low diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst index 6b58dde18c0..ec09fe7f6c2 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst @@ -574,6 +574,12 @@ Aspect Remote_Access_Type This aspect is equivalent to :ref:`pragma Remote_Access_Type`. +Aspect Scalar_Storage_Order +=========================== +.. index:: Scalar_Storage_Order + +This aspect is equivalent to a :ref:`attribute Scalar_Storage_Order`. + Aspect Secondary_Stack_Size =========================== @@ -581,13 +587,6 @@ Aspect Secondary_Stack_Size This aspect is equivalent to :ref:`pragma Secondary_Stack_Size`. - -Aspect Scalar_Storage_Order -=========================== -.. index:: Scalar_Storage_Order - -This aspect is equivalent to a :ref:`attribute Scalar_Storage_Order`. - Aspect Shared ============= .. index:: Shared diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 8068b4de4c6..e811ef2c02d 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -349,8 +349,8 @@ Implementation Defined Aspects * Aspect Refined_State:: * Aspect Relaxed_Initialization:: * Aspect Remote_Access_Type:: -* Aspect Secondary_Stack_Size:: * Aspect Scalar_Storage_Order:: +* Aspect Secondary_Stack_Size:: * Aspect Shared:: * Aspect Side_Effects:: * Aspect Simple_Storage_Pool:: @@ -900,7 +900,7 @@ Curated Extensions Experimental Language Extensions -* Pragma Storage_Model:: +* Storage Model:: * Attribute Super:: * Simpler accessibility model:: * Case pattern matching:: @@ -9298,8 +9298,8 @@ or attribute definition clause. * Aspect Refined_State:: * Aspect Relaxed_Initialization:: * Aspect Remote_Access_Type:: -* Aspect Secondary_Stack_Size:: * Aspect Scalar_Storage_Order:: +* Aspect Secondary_Stack_Size:: * Aspect Shared:: * Aspect Side_Effects:: * Aspect Simple_Storage_Pool:: @@ -9989,7 +9989,7 @@ This aspect is equivalent to @ref{d9,,pragma Refined_State}. For the syntax and semantics of this aspect, see the SPARK 2014 Reference Manual, section 6.10. -@node Aspect Remote_Access_Type,Aspect Secondary_Stack_Size,Aspect Relaxed_Initialization,Implementation Defined Aspects +@node Aspect Remote_Access_Type,Aspect Scalar_Storage_Order,Aspect Relaxed_Initialization,Implementation Defined Aspects @anchor{gnat_rm/implementation_defined_aspects aspect-remote-access-type}@anchor{159} @section Aspect Remote_Access_Type @@ -9998,25 +9998,25 @@ Manual, section 6.10. This aspect is equivalent to @ref{dc,,pragma Remote_Access_Type}. -@node Aspect Secondary_Stack_Size,Aspect Scalar_Storage_Order,Aspect Remote_Access_Type,Implementation Defined Aspects -@anchor{gnat_rm/implementation_defined_aspects aspect-secondary-stack-size}@anchor{15a} -@section Aspect Secondary_Stack_Size +@node Aspect Scalar_Storage_Order,Aspect Secondary_Stack_Size,Aspect Remote_Access_Type,Implementation Defined Aspects +@anchor{gnat_rm/implementation_defined_aspects aspect-scalar-storage-order}@anchor{15a} +@section Aspect Scalar_Storage_Order -@geindex Secondary_Stack_Size +@geindex Scalar_Storage_Order -This aspect is equivalent to @ref{e2,,pragma Secondary_Stack_Size}. +This aspect is equivalent to a @ref{15b,,attribute Scalar_Storage_Order}. -@node Aspect Scalar_Storage_Order,Aspect Shared,Aspect Secondary_Stack_Size,Implementation Defined Aspects -@anchor{gnat_rm/implementation_defined_aspects aspect-scalar-storage-order}@anchor{15b} -@section Aspect Scalar_Storage_Order +@node Aspect Secondary_Stack_Size,Aspect Shared,Aspect Scalar_Storage_Order,Implementation Defined Aspects +@anchor{gnat_rm/implementation_defined_aspects aspect-secondary-stack-size}@anchor{15c} +@section Aspect Secondary_Stack_Size -@geindex Scalar_Storage_Order +@geindex Secondary_Stack_Size -This aspect is equivalent to a @ref{15c,,attribute Scalar_Storage_Order}. +This aspect is equivalent to @ref{e2,,pragma Secondary_Stack_Size}. -@node Aspect Shared,Aspect Side_Effects,Aspect Scalar_Storage_Order,Implementation Defined Aspects +@node Aspect Shared,Aspect Side_Effects,Aspect Secondary_Stack_Size,Implementation Defined Aspects @anchor{gnat_rm/implementation_defined_aspects aspect-shared}@anchor{15d} @section Aspect Shared @@ -11389,7 +11389,7 @@ the Ada 83 reference manual for an exact description of the semantics of this attribute. @node Attribute Scalar_Storage_Order,Attribute Simple_Storage_Pool,Attribute Safe_Small,Implementation Defined Attributes -@anchor{gnat_rm/implementation_defined_attributes attribute-scalar-storage-order}@anchor{15c}@anchor{gnat_rm/implementation_defined_attributes id4}@anchor{1aa} +@anchor{gnat_rm/implementation_defined_attributes attribute-scalar-storage-order}@anchor{15b}@anchor{gnat_rm/implementation_defined_attributes id4}@anchor{1aa} @section Attribute Scalar_Storage_Order @@ -29198,7 +29198,7 @@ particular the @code{Shift_Left} and @code{Shift_Right} intrinsics. @menu -* Pragma Storage_Model:: +* Storage Model:: * Attribute Super:: * Simpler accessibility model:: * Case pattern matching:: @@ -29206,9 +29206,9 @@ particular the @code{Shift_Left} and @code{Shift_Right} intrinsics. @end menu -@node Pragma Storage_Model,Attribute Super,,Experimental Language Extensions -@anchor{gnat_rm/gnat_language_extensions pragma-storage-model}@anchor{448} -@subsection Pragma Storage_Model +@node Storage Model,Attribute Super,,Experimental Language Extensions +@anchor{gnat_rm/gnat_language_extensions storage-model}@anchor{448} +@subsection Storage Model This feature proposes to redesign the concepts of Storage Pools into a more @@ -29221,7 +29221,7 @@ support interactions with GPU. Here is a link to the full RFC: @indicateurl{https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-storage-model.rst} -@node Attribute Super,Simpler accessibility model,Pragma Storage_Model,Experimental Language Extensions +@node Attribute Super,Simpler accessibility model,Storage Model,Experimental Language Extensions @anchor{gnat_rm/gnat_language_extensions attribute-super}@anchor{449} @subsection Attribute Super 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