From owner-sc22wg5+sc22wg5-dom9=www.open-std.org@open-std.org  Mon Sep 25 05:57:08 2023
Return-Path: <owner-sc22wg5+sc22wg5-dom9=www.open-std.org@open-std.org>
X-Original-To: sc22wg5-dom9
Delivered-To: sc22wg5-dom9@www.open-std.org
Received: by www.open-std.org (Postfix, from userid 521)
	id 53901356A39; Mon, 25 Sep 2023 05:57:08 +0200 (CEST)
Delivered-To: sc22wg5@open-std.org
Received: from sonic308-1.consmr.mail.ne1.yahoo.com (sonic308-1.consmr.mail.ne1.yahoo.com [66.163.187.120])
	by www.open-std.org (Postfix) with ESMTP id A49B035669D
	for <sc22wg5@open-std.org>; Mon, 25 Sep 2023 05:57:06 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sbcglobal.net; s=s2048; t=1695614225; bh=w+yH1tHsxIuKAoSUZV5KM+R5KVCPBZN+Ctw6sLSP9w0=; h=Subject:From:To:Date:In-Reply-To:References:From:Subject:Reply-To; b=d/rSWCAd8tGZhO15ZggXc3To1cUSewKgIPPBZlegPVoc/XIrRhW2VPZ/hG8bGFLDZPSc8BVL6s4HoLl7SUsFdo6h5FHxQqVMSFY3f+VPxTYUcpWzdkTEYMMgvfeK35JDvvohIZh7fIF0vkPHQpUk8EN1AKvTWalAYmNPvOpU6MC+xIJTKtbrPIenKCQHfysxDQoaZWWKqU1/Czu6WHUgtcHfIkYiradqj+YeznEOBRzGuSXSLBm94HUGd0Lz6zNkfuyniqPRdhzgw+gH2n6rqTw6GTLauqNZtr35f6jm3arl5NGNs+zAswPU0aUSBoBfW8l4GfvgfhBRHzZL6X11Pg==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1695614225; bh=m0MeZ+DdEpz0Cvfd6TuhUaqrRGVUXuZtj576JV8hmMD=; h=X-Sonic-MF:Subject:From:To:Date:From:Subject; b=UregtGmHaH3Oc0g+P4fzoDJVC0ZyM8w5PN4dyTGpGY8mtvJihymxP7UdXZPSnSPiJ1mtf84LxSUwLrYvmvtgeF049G4Imd6cAu1Ig2s1U+Wgfuf8oJbQVijRgp6EW2mnxvVlGTjHEo0CXaKWBv0WxCs+Z65rDEoN4EAOxPVSFHk8Mq/5DIyx7qX1YocN8tRVGNo2LYsead6q3SIs+aBQDICfxXQIdoWqdiW2nOhrmVt26/Re98PlraSw5W3s3O26vedBCsXq0MK28OHsY0GBVKP6awKXrJVrmQqXb4o3fiIup+MGd36IfeZSqvqvu6dIEZVtKbcW1NEQImZ3GiBzmw==
X-YMail-OSG: WkVW7YYVM1lwB2yf34YSscdIA7pUpnsweq92d5KjwHPSOg7aOalptyhrjbr3sy7
 MNwfXaVJSa0SRg0Yv9xnCbNQ3MWTiH2Z87ai3N1IlDyrd5h2PKLkivhWJqtt17u7YoFL4.E2gcLI
 jpXupEoq52Uu52V3IJk0N72I3tZZ_ZgituD8AMWI.ms82ILNQBZLXV3dqdYA1yiP0svzvb3vJxKc
 ZuNkshYRQZJc7NmgpSQbh8PuYA01s8fkP5RU0zxksrf75tQP8tpL9BYvNa.u1uyNZWq4.43t4aTo
 jbYzBjRcMuj5FuXKkycTTeAJlV_KPp4Iyg4TMQFwlJwClc_vlUwpGja.SxMtwc60FR.gPnKLpKed
 S5GfqWJrdSIAtk0cU0PJjr_I45_Y9UaSbGNGhCbGBW5RSya4vBvJNgCRkp2miyC0H3yqsGtex6Z1
 WqpqtVxVinO4chBS.ns6mZSMwUSuNSe_Xaubyd_tzCiSVnOtO1s_ez3VEadkyYdn_NxEeJs89pPP
 0dJSM9Ka8i.Bbh46L9qBF4oz8DC7X.x2uHnifLM7f4X94P3O5FGJUyQhShgTIaut3wwdFpSXoyky
 bdMn8EGjw0NgEROVTqvChj25T503A77_FUaWxgUY_tRQT1hCZ4A_bNE1V2fssCzfP8jb8.m4_TZA
 3AD3FRGwuIZTUHp.pgCdXQb7UR17nRszFJKN6.ITNk7GiiOKeYfeCi8WFIIfuHxvisRyvAB9CfxE
 lOh4.zIfFpqhD4NN7XFCilbefZsC7WjnjSxB6chSu3zD391kPg2cUo_8399pXXhth9u3Ybpc4.TW
 9_mRjwMGioPjVw5YZj2h659HSBiB2QSroqUHjIuB1VInkxBS98TmT6P8w4USEiSt8pXWjSbbCKku
 CGRXHW0Y0al3Mw.z6TK9tWyo.qzcLCsBok_wLMG5Td7Uwvgl68hvEunK6QUEmFE9Jm5PguoZKkGE
 nCY2CHM7Z98dYmsu5h4_17v10PQh6VVdiJGad1hkDEyImfuryLd9z0Z3qcSO82T5VyzXS7iXlooy
 zGbQ13f9suK70lbPKYMD3c2xXspsbnxPGVjV0zdw5Y7VPyhpEMuDnmX1raNM8t6LobyP0NbHuHl8
 bcZC0CidiqlJjgbJdkg8eqPXpRPIQB4jfeqeDD_385OJITnsp6ohPi5_A9.YOVTYG9ThSdenASpL
 ire4vhjq9nXy9Zn7DxfjbEzvQy5PwAALsdkdnXmMGSQD1bgn8p3dCbW.PTHKulKrslwNSPDnlHe6
 jWZmsHp6SoIjJXRnY5fkCiKQJQLcLhvDuQpcdSNZLORKrvM.3Pbw1fqkVHMkh3cK.h9hx.LhuFoN
 .cGs8Zf3fITDZDHg9UF.zOy_jvGLOMkiirWEzG50u03FFVcaTnDhQ3phvjIjf4RLuATndKJ7QDTR
 bXxOEYRJSBDAl8QN4FF3ULewTVxL10Lxr12OmKkbVacGXMVrD9yDdYcMQVhRTefr959yUEHzaheD
 zd7Vym5F975E8zPV.5qfcl23M4fOlKWe0TpgreEjC6eIUb5qyrXwtWGmeLlYhJzLct3NkT0zNw1d
 ZiFTK3Yj0i8wch191oGutY2UsVcIKjBpZ_ozkcyBnP8OtgMsKSrkXhXBbAthtCHjv3RJBRgcCiOk
 pCzfdZ84a6EwehsyVx3u0pnN42ATGBIWwuT3_2HueNoULLw7f1D.QJb_NKe8MmF2Dtom_ZTLoq5B
 KMXJ.7QgPnSYLtw8V7sOtgSW8EaCPakR5UbUJ8qnPVy0Oh3_tCLM2jj4W_DbOoA21oXfltQ2Eocl
 TZAJ7vZHJX5ZuiWggejEiM2KK6r2Piz9Yl.MuLFNdw2bpmCRi1xvwnGBR4OLNmzHIE8kx6K7iWgb
 Pc7tvE9IH..A6O9V.HPeZ5EEO4gC6D5hx5YGVOUoU2IY6NamRMk6_N6XWc7Z1.udGZAdwD6ozqyW
 2H9xL8mMyXhJB5avPbexSSd2TIaccL4_OkRDb8dZ1F74bBXMv6ii7X9k6sD7iEHVHqRhPFdAq4gP
 diT0iqyC8OyYfO4M5EyiNJWMqB6Ma9ipNlaWGe65Cih_WPlFTO.pDYjtyFu_mjmyGxtpOOZYnS2z
 QGN_B9j1xX7BB.7Mc6nL.TdlJgY.IWDP9JtVFL46CO7Zu5y2EWERKjk8mo2XHyoTpt8FpNqIQ6ZG
 f.2Quhvm32jK_xNoSRHf93E_cuIaRZjmRlugIqY30sy_tjzWDp.cX7wawbMrrc3hjPEfTglsWXI9
 g7a9TduEME40Ps_2neOfj.Nq_j8_i.aZlbRqOsfQT23QdWfe8SL1eX7ik5gPKZBFMI3tjru69SZD
 Rx4xei_C_hHN8MDJsWQ--
X-Sonic-MF: <van.snyder@sbcglobal.net>
X-Sonic-ID: 25ac5953-792e-4028-afe5-fb2ca497323d
Received: from sonic.gate.mail.ne1.yahoo.com by sonic308.consmr.mail.ne1.yahoo.com with HTTP; Mon, 25 Sep 2023 03:57:05 +0000
Received: by hermes--production-bf1-678f64c47b-985dk (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 9fc73deca30e31132885d93e8d2550cb;
          Mon, 25 Sep 2023 03:55:04 +0000 (UTC)
Message-ID: <1d4017621c5f22b38368cdc4ebb38c732a2e4a8b.camel@sbcglobal.net>
Subject: Re: [J3] [SC22WG5.6494] RE: Do Concurrent with unspecified
 locality, calling pure procedures
From: Van Snyder <van.snyder@sbcglobal.net>
To: 'WG5' <sc22wg5@open-std.org>
Date: Sun, 24 Sep 2023 20:55:02 -0700
In-Reply-To: <20230924235538.1AE9D356A3A@www.open-std.org>
References: <DM6PR12MB31302BD1D034319D5CD42B7ACBF1A@DM6PR12MB3130.namprd12.prod.outlook.com>
	 <20230912161937.ED0F6356986@www.open-std.org>
	 <493F5A4F-8746-4CA4-ACF7-554B71168255@nasa.gov>
	 <20230912184902.A227F35699F@www.open-std.org>
	 <20230914051137.8F0F93569EF@www.open-std.org>
	 <20230914132511.A9155356742@www.open-std.org>
	 <20230919074924.5A64A356969@www.open-std.org>
	 <20230919085702.1ECCF3569C0@www.open-std.org>
	 <73963378-8AB0-447B-8BA0-EC90F07B0FEF@nasa.gov>
	 <DM6PR12MB3130F647EF16E1D055CCD673CBFAA@DM6PR12MB3130.namprd12.prod.outlook.com>
	 <20230920085704.D845D3569F4@www.open-std.org>
	 <20230920093749.0462C3569FD@www.open-std.org>
	 <DM6PR12MB3130828786A39BD24BA2D206CBF9A@DM6PR12MB3130.namprd12.prod.outlook.com>
	 <20230924235538.1AE9D356A3A@www.open-std.org>
Content-Type: multipart/alternative; boundary="=-ZyIGTqSGBl6iXJJinLJT"
User-Agent: Evolution 3.46.4-2 
MIME-Version: 1.0
X-Mailer: WebService/1.1.21797 mail.backend.jedi.jws.acl:role.jedi.acl.token.atz.jws.hermes.yahoo
Sender: owner-sc22wg5@open-std.org
Precedence: bulk

--=-ZyIGTqSGBl6iXJJinLJT
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Mon, 2023-09-25 at 08:55 +0900, Malcolm Cohen via J3 wrote:
> We do not require that, because that is NOT one of the possible
> effects of unspecified locality =E2=80=93 the standard never requires tha=
t
> unspecified locality behave as LOCAL or LOCAL_INIT. All elements that
> are written by multiple iterations become *undefined*. It is invalid
> to refer to the value of an undefined variable, whereas
> LOCAL/LOCAL_INIT leave the variable with its previous definition
> status and value.

I argued at the second Garching meeting that this situation would have
been clearer if DO CONCURRENT were allowed to have a <specification-
part>. One needs to know (or guess) to study Clause 18 to discover that
LOCAL or LOCAL_INIT makes the variable a construct entity. A scheme to
provide the LOCAL_INIT functionality would not have been a difficult
addition, and would also have been useful in BLOCK constructs or
internal procedures. SHARED would come from IMPORT, and unspecified
would come from a lack of IMPORT, ONLY together with no local
declaration.

--=-ZyIGTqSGBl6iXJJinLJT
Content-Type: text/html; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

<html><head></head><body><div>On Mon, 2023-09-25 at 08:55 +0900, Malcolm Co=
hen via J3 wrote:</div><blockquote type=3D"cite" style=3D"margin:0 0 0 .8ex=
; border-left:2px #729fcf solid;padding-left:1ex"><div>We do not require th=
at, because that is NOT one of the possible effects of unspecified locality=
 =E2=80=93 the standard never requires that unspecified locality behave as =
LOCAL or LOCAL_INIT. All elements that are written by multiple iterations b=
ecome *<b>undefined</b>*. It is invalid to refer to the value of an undefin=
ed variable, whereas LOCAL/LOCAL_INIT leave the variable with its previous =
definition status and value.</div></blockquote><div><br></div><div>I argued=
 at the second Garching meeting that this situation would have been clearer=
 if DO CONCURRENT were allowed to have a &lt;specification-part&gt;. One ne=
eds to know (or guess) to study Clause 18 to discover that LOCAL or LOCAL_I=
NIT makes the variable a construct entity. A scheme to provide the LOCAL_IN=
IT functionality would not have been a difficult addition, and would also h=
ave been useful in BLOCK constructs or internal procedures. SHARED would co=
me from IMPORT, and unspecified would come from a lack of IMPORT, ONLY toge=
ther with no local declaration.</div><div><span></span></div></body></html>

--=-ZyIGTqSGBl6iXJJinLJT--