From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x429.google.com (mail-wr1-x429.google.com [IPv6:2a00:1450:4864:20::429]) by sourceware.org (Postfix) with ESMTPS id 333D0383B78A for ; Mon, 30 May 2022 08:32:59 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 333D0383B78A Received: by mail-wr1-x429.google.com with SMTP id u3so13599400wrg.3 for ; Mon, 30 May 2022 01:32:59 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version :content-disposition:content-transfer-encoding; bh=FTN9/+TySpdzxPI+jtildsUlm1KPbMX2MaP2xvNQSpc=; b=19ZlADvwnUtU0KUOMqXjDX61r92G5T9XTnUAAQlSZUd+NDY7yk7gH8fE4zvA3dc8wM +re5RTtRXoAlVejT2h/scsIXXH8bOKi7EleNALZHnOObTZJkeqzI368R5SzCDQlaxbkb uw7cSdw78ZsvZEErWqw1bZ1VBEB+jMxKp5L744qYRqIAU2bkGBVP/78mqlOGNgzBREhQ UOd+S4mzUqMh2FQil0Y7SOOasjztG06ohjZeL1qK+I5t3tCkUoYzHF5iEiD03kewz4Xl ZgH98dvxE8kBYOwXjZ1N/JugIjlPTZ9T0oVuzqMCuvXMXo+KUvMvvPMtwq6Jt8GBtR2m N4RQ== X-Gm-Message-State: AOAM530D8LJmZ4vq/tOcryOfoAL+01M8JgLc9LJv2MerFBRfL6MUhtN4 6S3UVd0fLW6F5mKRGrkQ4SOOyLI7SnCG2w== X-Google-Smtp-Source: ABdhPJyVQiMNTtSMMHthWLFntMEFUwGAIj7W8N8UJwmTTqlGeiwjTDe6mHI6TCY4DPvcyL27eoKPpg== X-Received: by 2002:a5d:678d:0:b0:210:2f33:4399 with SMTP id v13-20020a5d678d000000b002102f334399mr5187709wru.599.1653899578747; Mon, 30 May 2022 01:32:58 -0700 (PDT) Received: from adacore.com ([45.147.211.82]) by smtp.gmail.com with ESMTPSA id c17-20020a7bc011000000b0039482d95ab7sm10249456wmb.24.2022.05.30.01.32.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 30 May 2022 01:32:58 -0700 (PDT) Date: Mon, 30 May 2022 08:32:57 +0000 From: Pierre-Marie de Rodat To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek Subject: [Ada] Remove repeated description of support for Address clauses Message-ID: <20220530083257.GA211014@adacore.com> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="Qxx1br4bt0+wmkIi" Content-Disposition: inline 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, 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.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 30 May 2022 08:33:00 -0000 --Qxx1br4bt0+wmkIi Content-Type: text/plain; charset=us-ascii Content-Disposition: inline The GNAT behaviour regarding the Ada RM requirement to support Address clauses for imported subprograms was documented twice: in section about packed types (which was a mistake) and in section about address clauses (where it belongs). Cleanup related to the use of packed arrays for bitset operations to detect uses of uninitialized scalars in GNAT. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * doc/gnat_rm/implementation_advice.rst (Packed Types): Remove duplicated and wrongly placed paragraph. * gnat_rm.texi: Regenerate. --Qxx1br4bt0+wmkIi Content-Type: text/x-diff; charset=utf-8 Content-Disposition: attachment; filename="patch.diff" Content-Transfer-Encoding: 8bit diff --git a/gcc/ada/doc/gnat_rm/implementation_advice.rst b/gcc/ada/doc/gnat_rm/implementation_advice.rst --- a/gcc/ada/doc/gnat_rm/implementation_advice.rst +++ b/gcc/ada/doc/gnat_rm/implementation_advice.rst @@ -353,12 +353,6 @@ then values of the type are implicitly initialized to zero. This happens both for objects of the packed type, and for objects that have a subcomponent of the packed type. - - "An implementation should support Address clauses for imported - subprograms." - -Followed. - .. index:: Address clauses RM 13.3(14-19): Address Clauses diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -14333,14 +14333,6 @@ then values of the type are implicitly initialized to zero. This happens both for objects of the packed type, and for objects that have a subcomponent of the packed type. -@quotation - -“An implementation should support Address clauses for imported -subprograms.” -@end quotation - -Followed. - @geindex Address clauses @node RM 13 3 14-19 Address Clauses,RM 13 3 29-35 Alignment Clauses,RM 13 2 6-8 Packed Types,Implementation Advice --Qxx1br4bt0+wmkIi--