From owner-sc22wg5+sc22wg5-dom9=www.open-std.org@open-std.org Tue Jun 10 16:25:37 2025 Return-Path: X-Original-To: sc22wg5-dom9 Delivered-To: sc22wg5-dom9@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 13935356A73; Tue, 10 Jun 2025 16:25:37 +0200 (CEST) Delivered-To: sc22wg5@open-std.org X-Greylist: delayed 485 seconds by postgrey-1.34 at www5.open-std.org; Tue, 10 Jun 2025 16:25:36 CEST Received: from vsmx011.tt.xion.oxcs.net (vsmx006.tt.xion.oxcs.net [153.92.124.224]) by www.open-std.org (Postfix) with ESMTP id CB838356A41 for ; Tue, 10 Jun 2025 16:25:36 +0200 (CEST) Received: from vsmx004.tt.xion.oxcs.net (unknown [185.27.183.176]) by mx-out.tt.xion.oxcs.net (Postfix) with ESMTP id 0458AA81210; Tue, 10 Jun 2025 14:17:30 +0000 (UTC) Received: from proxy-10.proxy.shared.ham.xion.oxcs.net (proxy-10.proxy.shared.ham.xion.oxcs.net [2.102.43.227]) by mx-out.tt.xion.oxcs.net (Postfix) with ESMTPA id B5018A8018F; Tue, 10 Jun 2025 14:17:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=tt.xion.oxcs.net; s=mail1; t=1749565049; bh=xplueUsUGc7FrxZjJO7k03+m2Bc1c8wd9N218mgsqeg=; h=From:To:Subject:Date:From; b=G8cMDEExJavOKeE4ctvIkk+rPmIxG+Dau4nGbxIIA5mVMAX9ZEBLSWn8T2GqdjnaO q9DYfvRS+AeT2zEgBckRroQInAudcOMj4dU/7ncyQRdgvRYraPpjdTPMpyl/JQqwTA 8+hhGi47/eCRAM7q0Ngib7zjwFGb+bye9rdtQya6qCY6UYU0RTh7gomtANWIXiKJA8 m1PUhBMGFbHhhNiuv0oW9DBdKAKq3ry11qKuarfzQFRCIriqSIqALyT41+iL+oc1mY K5uVAdTCF8mEJsuZkxBYUrftOkvuewabftlQXYBzfMvlWQKSJ/ZHkaYQyisIeRnqyq VlwSJFf2kMIpg== From: John Reid To: WG5 List Subject: WG5 letter ballot 1 on Fortran 2023 interpretations Message-ID: <5ce4f124-0e15-becf-9cc4-f7ec3ae1e4d2@talktalk.net> Date: Tue, 10 Jun 2025 15:17:25 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.21 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-VadeSecure-Status: LEGIT X-VADE-STATUS: LEGIT Sender: owner-sc22wg5@open-std.org Precedence: bulk Here is John Reid's vote Yes  No   Number    Title -Y-  ---  F23/003  Conflicting rules for COMMON block names -Y-  ---  F23/004  OUT_OF_RANGE and ROUND argument -Y-  ---  F23/005  Defined assignment/operators and dynamic type -Y-  ---  F23/006  Underflow in IEEE_SCALB -Y-  ---  F23/008  Real argument I in IEEE_SCALB -Y-  ---  F23/009  Coarray subobject of component -Y-  ---  F23/010  MOVE_ALLOC with coarray arguments -Y-  ---  F23/011  NULL and procedure pointers -Y-  ---  F23/012  Coarray correspondence in DEALLOCATE -Y-  ---  F23/013  BOZ literals in interoperable enumerators -Y-  ---  F23/015  Coindexed objects in structure constructors -N-  ---  F23/016  Segments associated with allocation -Y-  ---  F23/017  CFI_establish nonalloc nonpointer null base address -Y-  ---  F23/018  Correspondence of unallocated coarrays No vote on F23/016  Segments associated with allocation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ My no vote would change to yes if the following comments are given careful consideration. 1. The answer does not say where the text it quotes lies in the standard. It is from 9.7.1.2, para. 5 and 9.7.3.2, para 10. 2. The third paragraph of the answer says "That means that after execution of the ALLOCATE statement on an image, the coarray is allocated on all the images (in the team)." We are talking here about a set of corresponding coarrays rather than a single coarray so it would be clearer to say "That means that after execution of the ALLOCATE statement on an image, the corresponding coarrays are allocated on all the images (in the team)." Note that an extra paragraph on corresponding coarrays is added in iterp. F23/018. The same comment applies in the final paragraph of the answer, which would be better written as " ... after the DEALLOCATE statement execution is complete on one image, the corresponding coarrays are unallocated on all active images." 3. It would be desirable to make these edits to the standard: 9.7.1.2, para. 5. Change the final sentence to "The coarray shall not become allocated on an image unless the corresponding coarrays are successfully allocated on all other active images in this team." 9.7.3.2, para 10. Change the final sentence to "A coarray shall not become deallocated on an image unless the corresponding coarrays are successfully deallocated on all other active images in this team."