From owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org  Fri Apr  1 18:17:20 2016
Return-Path: <owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org>
X-Original-To: sc22wg5-dom8
Delivered-To: sc22wg5-dom8@www.open-std.org
Received: by www.open-std.org (Postfix, from userid 521)
	id 5131D3587C0; Fri,  1 Apr 2016 18:17:20 +0200 (CEST)
Delivered-To: sc22wg5@open-std.org
Received: from mail-wm0-f46.google.com (mail-wm0-f46.google.com [74.125.82.46])
	(using TLSv1 with cipher RC4-SHA (128/128 bits))
	(No client certificate requested)
	by www.open-std.org (Postfix) with ESMTP id 72A383582C8
	for <sc22wg5@open-std.org>; Fri,  1 Apr 2016 18:17:14 +0200 (CEST)
Received: by mail-wm0-f46.google.com with SMTP id p65so29126496wmp.0
        for <sc22wg5@open-std.org>; Fri, 01 Apr 2016 09:17:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=bris-ac-uk.20150623.gappssmtp.com; s=20150623;
        h=date:from:message-id:to:subject:reply-to:in-reply-to;
        bh=nuGZq9nDbR1nLCfVvIq/VlMO65NATmve429Tc+0GRZw=;
        b=OQkztgR/E13pXbtjs6M4orbUUWyH6deEBkgNU/MMYNiecfJD8SCyfgGoRPRMGzlEBU
         zKrBZzCOkLl6ybMPS7wo8A/zRAtoGrp/u8nk9CsqDC3CtFipyLvJMJrS6Qj6RoYrMuvr
         16bJHrNPxAGYOclIbcevN2CyWGDUFImwomOqLv3IIjhATiywAr9uVuMEBZhSgxemM93B
         08gCovMBr/w7mMe5ga8XW+Ge2Q2wi7LKmAWg+AwVzLEgNzdGcjxqsCwjjM4GZFuY8hVz
         mx2jI0m7/Y39gKksgSvBxQxLQ2mw2VktZcJXoLp5kIUv+8bkTtHRHpigmXjOHqnE0/r1
         zppg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:date:from:message-id:to:subject:reply-to
         :in-reply-to;
        bh=nuGZq9nDbR1nLCfVvIq/VlMO65NATmve429Tc+0GRZw=;
        b=WetR5d4F3CgY1eJ0OCFxKbSnUVERAMvC0suQNqC9KT5+UFT++sy+nkTYwc9jcLq72v
         NVNI61PsuC78Ziv3g8ZlTCsbpIpz4Vjad5lpgsJjAr4c9bR5rsFGkcvGhxWOkcxqKJI6
         pO670v7oIq/9AdWdI0QxhEPno36HNfo8GVYZPPUopp45fKlY0CTyFtPK78/2ZMRoRK5J
         CqE8zZTLPhEPSA5d/3xGM9uUWuDQzRaPqBDa+SYBnEqubSeNNw55ErBdGFkvdm61X7bm
         hf7baKvxVTsjCFaEu7pYuYAwYpKo9qi/MYX9ZtBeKlh3acXr/c6y5Afw8GLtASe36Cqv
         Y59w==
X-Gm-Message-State: AD7BkJJ8XstYS7uOv2fM0NVECtFGGnu2Cm8cJ4F1LPSGv2bxVP5+4C2jvw1NU7iTWBV700w2
X-Received: by 10.194.158.98 with SMTP id wt2mr5782365wjb.102.1459527433183;
        Fri, 01 Apr 2016 09:17:13 -0700 (PDT)
Received: from mech-as222.men.bris.ac.uk (mech-as222.men.bris.ac.uk. [137.222.170.4])
        by smtp.gmail.com with ESMTPSA id a1sm14721567wje.43.2016.04.01.09.17.12
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Fri, 01 Apr 2016 09:17:12 -0700 (PDT)
Received: from mech-as222.men.bris.ac.uk (localhost [127.0.0.1])
	by mech-as222.men.bris.ac.uk (8.15.2/8.15.2) with ESMTP id u31GHC1k030453;
	Fri, 1 Apr 2016 17:17:12 +0100 (BST)
	(envelope-from mexas@mech-as222.men.bris.ac.uk)
Received: (from mexas@localhost)
	by mech-as222.men.bris.ac.uk (8.15.2/8.15.2/Submit) id u31GHBpR030452;
	Fri, 1 Apr 2016 17:17:11 +0100 (BST)
	(envelope-from mexas)
Date: Fri, 1 Apr 2016 17:17:11 +0100 (BST)
From: Anton Shterenlikht <mexas@bris.ac.uk>
Message-Id: <201604011617.u31GHBpR030452@mech-as222.men.bris.ac.uk>
To: Reinhold.Bader@lrz.de, sc22wg5@open-std.org
Subject: Re: [ukfortran] (SC22WG5.5693) coarray dummy arguments
Reply-To: mexas@bris.ac.uk
In-Reply-To: <20160331075716.B092135872B@www.open-std.org>
Sender: owner-sc22wg5@open-std.org
Precedence: bulk

Hi Reinhold

[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."

Isn't 12.5.2.8p1 already prohibits associating non-coarray dummy
with coarray actual?

Anton
