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 <specification-part>. 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--