From owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org Fri Apr 1 18:47:42 2016 Return-Path: X-Original-To: sc22wg5-dom8 Delivered-To: sc22wg5-dom8@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 23D76358633; Fri, 1 Apr 2016 18:47:42 +0200 (CEST) Delivered-To: sc22wg5@open-std.org Received: from postout1.mail.lrz.de (postout1.mail.lrz.de [129.187.255.137]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by www.open-std.org (Postfix) with ESMTP id EC8D33582C8 for ; Fri, 1 Apr 2016 18:47:38 +0200 (CEST) Received: from lxmhs51.srv.lrz.de (localhost [127.0.0.1]) by postout1.mail.lrz.de (Postfix) with ESMTP id 3qc6kL0BjBzyVR for ; Fri, 1 Apr 2016 18:47:38 +0200 (CEST) Authentication-Results: postout.lrz.de (amavisd-new); dkim=pass (2048-bit key) reason="pass (just generated, assumed good)" header.d=lrz.de DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lrz.de; h= mime-version:content-transfer-encoding:content-type:content-type :content-language:accept-language:in-reply-to:references :message-id:date:date:subject:subject:from:from:received :received:received:received; s=postout; t=1459529257; bh=7qNq1Sq elqXdA+w5S/2ziyEl38YT75KrugchFfQvVqg=; b=bto23YEBGaFO4tmZlw4baA0 Wzpq9JE8jHZyMXUjF+m8YBC56EPLQX+6z6ErzO2o3hhnaMK9ud48BBmvsFFqVBRS PWQ1X33LRvchdAt9cdt6Ju7Uz1uemNf+b96svHRIniQqk/FuzPfKYd2GyB4xLQDP wc7uRqnAn7upPosUwIbNAHVBOPQRH+Pvpw3/49+zZxlrE/ZiDq1TFDoP477P//PF YTZ8xc7FLBWzWyQwSmw6PUM3bGC+lLnqF+Xau8zC48LuEMjqZRInwDGr/KNQQpcQ 6ljq8G+W+uKjk8WJ6OPLA1O7BLnqHI5iFuyIVv6mMiIxJTstijHgAGlF4Drw9oA= = X-Virus-Scanned: by amavisd-new at lrz.de in lxmhs51.srv.lrz.de X-Spam-Flag: NO X-Spam-Score: -2.885 X-Spam-Level: X-Spam-Status: No, score=-2.885 tagged_above=-999 required=5 tests=[ALL_TRUSTED=-1, BAYES_00=-1.9, LRZ_DATE_TZ_0000=0.001, LRZ_DKIM_DESTROY_MTA=0.001, LRZ_DMARC_LRZ_FAIL=0.001, LRZ_DMARC_OVERWRITE=0.001, LRZ_ENVFROM_LRZ_S=0.001, LRZ_FROM_AP_PHRASE=0.001, LRZ_FROM_LRZ_S=0.001, LRZ_FROM_PHRASE=0.001, LRZ_FROM_PRE_SUR_ADDR=0.001, LRZ_FWD_MS_EX=0.001, LRZ_HAS_X_ORIG_IP=0.001, LRZ_MSGID_HL32=0.001, LRZ_MSGID_SPAM_68=0.001, LRZ_RCVD_MS_EX=0.001, SPF_HELO_NONE=0.001] autolearn=no autolearn_force=no Received: from postout1.mail.lrz.de ([127.0.0.1]) by lxmhs51.srv.lrz.de (lxmhs51.srv.lrz.de [127.0.0.1]) (amavisd-new, port 20024) with LMTP id MXH6-YbnT9qm for ; Fri, 1 Apr 2016 18:47:37 +0200 (CEST) Received: from BADWLRZ-SW13MB4.ads.mwn.de (BADWLRZ-SW13MB4.ads.mwn.de [IPv6:2001:4ca0:0:108::152]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (Client CN "BADWLRZ-SW13MB4", Issuer "BADWLRZ-SW13MB4" (not verified)) by postout1.mail.lrz.de (Postfix) with ESMTPS id 3qc6kK4q9vzyTZ for ; Fri, 1 Apr 2016 18:47:37 +0200 (CEST) Received: from BADWLRZ-SWMBX03.ads.mwn.de (2001:4ca0:0:108::159) by BADWLRZ-SW13MB4.ads.mwn.de (2001:4ca0:0:108::152) with Microsoft SMTP Server (TLS) id 15.0.1156.6; Fri, 1 Apr 2016 18:47:36 +0200 Received: from BADWLRZ-SWMBX03.ads.mwn.de ([fe80::7c52:cc37:21a8:1966]) by BADWLRZ-SWMBX03.ads.mwn.de ([fe80::7c52:cc37:21a8:1966%12]) with mapi id 15.00.1156.000; Fri, 1 Apr 2016 18:47:37 +0200 From: "Bader, Reinhold" To: "sc22wg5@open-std.org" Subject: AW: [ukfortran] (SC22WG5.5693) coarray dummy arguments Thread-Topic: [ukfortran] (SC22WG5.5693) coarray dummy arguments Thread-Index: AdGLIjqiwNtJ9t9cQqCzYaSC3aToTwA/vO6AAAVEFfA= Date: Fri, 1 Apr 2016 16:47:37 +0000 Message-ID: <1ac015523764412c9425ce2fb4e1e098@BADWLRZ-SWMBX03.ads.mwn.de> References: <20160331075716.B092135872B@www.open-std.org> <201604011617.u31GHBpR030452@mech-as222.men.bris.ac.uk> In-Reply-To: <201604011617.u31GHBpR030452@mech-as222.men.bris.ac.uk> Accept-Language: de-DE, en-US Content-Language: de-DE X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [2001:4ca0:0:f034::1] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Sender: owner-sc22wg5@open-std.org Precedence: bulk Hello Anton,=20 12.5.2.8p1 prohibits the converse, namely associating a coarray dummy with= =20 a non-coarray actual.=20 Cheers Reinhold > -----Urspr=FCngliche Nachricht----- > Von: Anton Shterenlikht [mailto:mexas@bris.ac.uk] > Gesendet: Freitag, 1. April 2016 18:17 > An: Bader, Reinhold; sc22wg5@open-std.org > Betreff: Re: [ukfortran] (SC22WG5.5693) coarray dummy arguments >=20 > Hi Reinhold >=20 > [312] After NOTE 12.39 add > "NOTE 12.39+1 > The exception to above rules for dummy coarrays enables > cross-image accesses within procedures. However, updates on a > non-coarray dummy argument associated with a coarray actual > argument via coindexed accesses are prohibited; image control > statements can be used to avoid such a situation." >=20 > Isn't 12.5.2.8p1 already prohibits associating non-coarray dummy > with coarray actual? >=20 > Anton