From owner-sc22wg5+sc22wg5-dom9=www.open-std.org@open-std.org Wed Sep 13 13:32:20 2023 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 A9D683569AD; Wed, 13 Sep 2023 13:32:20 +0200 (CEST) Delivered-To: sc22wg5@open-std.org Received: from NAM12-BN8-obe.outbound.protection.outlook.com (mail-bn8nam12on2085.outbound.protection.outlook.com [40.107.237.85]) by www.open-std.org (Postfix) with ESMTP id 0AC4D3566BC for ; Wed, 13 Sep 2023 13:32:19 +0200 (CEST) ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=DzRUasBJEtqvj1363SozQyAIoo76BsWmguIljevna85DVCmsNtf66Zg3XEj6EqTssC52OY7qma7KOHahRuhj1LckiKIAM1S1ztQa1nQCGlrsU6CvEukEnjCTAlnUIMCVuDWW5p7plH5SBDNu2AZuucb3f4fAre+zej77mZcuB5XRwHUylFQDYjwqWsxx23VrrZtsdBsV62cg89hqsIDw1+ZKEKEsHIqs11Dj75UOlcc1vTcDHYTgDCLa03F/o3NzDJaOhiBobEXmy+yCp/EJAq+0PmHmUwZIUC9MjWPeOyHzKYFidzhB/uND88A0+QxngWpj+vmkhtnfaW+zuoJ1aQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=xixMIXKY/hRp4ovW5qbfo+aHtTE8N7aWQFiKx8AlSYg=; b=Dldwj+/d4+eSim4i+HLlDIPBD4FmDXUvsk7/sscB//0iLGkSc7GTOumgcTRIeNeSL1tThdRz/IyBilFg2ShMsvKseLD5gp2ya1YhDwlVQB+El1X12AzpqElkBNpOyMHb19+ZGPFoplnd3p5WB3m3B7YcqPJpbDuhkn+xL7Ga9hVv8hBC96qEg+5+Sgd7QNrdhg1RXpYJoNZoeeEVJkUHDfgZIUnov2zSomPYuCGU7Vv0fpnsp8ya5zl+dPcno7rbnPyoUtU6jPs7zxBS4k8LG9VlviqaB02M9NPpUy8FgImdpISPj/BZPbA0Kp2MgQohi0PPeCHTdgbRJJEkXyIt/g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=nvidia.com; dmarc=pass action=none header.from=nvidia.com; dkim=pass header.d=nvidia.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=Nvidia.com; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=xixMIXKY/hRp4ovW5qbfo+aHtTE8N7aWQFiKx8AlSYg=; b=Gilz7KQyrr2JzPjNZTOqeNdnGftiYdAhtrWrcEG9AQpP4CCObHQ4ABr8cbYiOs+ZPjTIUrErdAuyERgI5SIDmrtlPKeC2RJshHvs/vqe3tWDV+/X11ZsyQyyVt0H5ll0RFDVZqK2WFL2SQoqmJ3MVVpsZEpjRpsrUiPWwDymHJhcCxw0br95hfSLjZrUX5nU+Br16mjiX7JVF7nWQ3aC5XJUEcCwLDW/jhU9AgQd+eeJNM9BF8JuWmGwUrca1v8e+IopKu7LiJLxioExLyh6NyjUD7NEgv1vtOGYDszYgMYJorKpBGbMtoXTPrjKte2lSU1alZGY5cCAq22UHD2njg== Received: from DM6PR12MB3130.namprd12.prod.outlook.com (2603:10b6:5:11b::16) by DS0PR12MB7726.namprd12.prod.outlook.com (2603:10b6:8:130::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6768.35; Wed, 13 Sep 2023 11:32:16 +0000 Received: from DM6PR12MB3130.namprd12.prod.outlook.com ([fe80::59af:3a04:c24f:8191]) by DM6PR12MB3130.namprd12.prod.outlook.com ([fe80::59af:3a04:c24f:8191%5]) with mapi id 15.20.6768.036; Wed, 13 Sep 2023 11:32:15 +0000 From: Jeff Hammond To: WG5 Subject: Variable name lists in locality-spec Thread-Topic: Variable name lists in locality-spec Thread-Index: AQHZ5i8LeMBsN9pS/0CIW/OEwCA1yg== Date: Wed, 13 Sep 2023 11:32:15 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=nvidia.com; x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DM6PR12MB3130:EE_|DS0PR12MB7726:EE_ x-ms-office365-filtering-correlation-id: dfd7622b-c107-4bf8-14f1-08dbb44d14bf x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: u6zJOiM+qc9kP63h+Qg0SUr34eM8xEZIT1/Pk2S2V2OwtnaKFVbWjFI0tRD5zzjBo7StryDk/PeFQyzvQBo+tP6OI856Sh2Dv01hGUlC87KwRo3hO1+np0nTdoKOQWPPRmdnVHLJ37llp5YaFDQL2NSQBEhhoZktZrfmtGwbMIh8U8LH9lDymTLg/Ot/QnZsF16dYjWpyyeGkgIVEwUzIYtC648i00vixyREYVqsD1WZGYXP8Bv2kpskrgSsczFbLN0UfCRv8nLGbrYc5GKE/7k3xUz2y+/YhsadWeJ+PVQfyL6CFRAC0pGpOZD/6IXnwnSgj8kaWar8grQGe+CU6UVZS8qknfIKbOizwa3ClWPKsjAq8i/tA5+21f03f22z5vgau1TnnsbeytPErg6ayZ2JNsNQdMNuA797UzE3lPNvdl6BGDjDTsAL7KkrSYVWnkMtkwle72b3KbNUKXht0HoVGHLxe5+A3nambNXfsWiC4QWz24tACuzOhtT3RTSObRFJI83JxmqE0pz6jSFvnDpsKVNfDIkolCzHFODzWHqmPGqzu992qBWrUeInmznX/nj2jtZacqI54WFvns+02TVV76nSQVjA7Pxb8hd2mKqU2nhk2yI/TFboMOemrqeA x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DM6PR12MB3130.namprd12.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(39860400002)(376002)(396003)(346002)(136003)(366004)(186009)(1800799009)(451199024)(76116006)(26005)(86362001)(33656002)(9686003)(6506007)(71200400001)(7696005)(2906002)(55016003)(38070700005)(83380400001)(122000001)(38100700002)(478600001)(8936002)(5660300002)(52536014)(8676002)(66446008)(66476007)(66556008)(64756008)(6916009)(316002)(66946007)(41300700001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?TydDtCxh2ETsBZV6rNbtwVaYAJiAJkhKOcZnjuH1EALr/BhEHAYBK/XP?= =?Windows-1252?Q?EO31Er9OyXgmsJS0m4C0poYqajhtK01OLon2Y/8hM9NqYfdTGcnXkWgM?= =?Windows-1252?Q?HRku/rwHtOuh+WtwxfbFSyUoRnu3OW8ZSi8WaNTCzKN5NLw8OZ/TDdeN?= =?Windows-1252?Q?fFX31Ox2wsH7Q5haEJ6m0ZgotOL63atJRkSzbxGZ+AOsUvAVip7x/8p1?= =?Windows-1252?Q?RJfXVUWY2BMlGRp7doH/lkydROJ4V4kHpQHLyG5kGodvwTdW6Qf8jF0f?= =?Windows-1252?Q?P6Fu3d04aWFaqE2zPCKxIEAhm1FLcIyYvHtIJH4FQtQfuYqBzYSbAxb5?= =?Windows-1252?Q?HlNaW5iNnffzBZ6xyARvVkxjhwIHuuK4dr/Ual87saLmBStpXwNmmHiw?= =?Windows-1252?Q?R7ZfhtfW5gbw6TvUwM6/p8PyzY2pAB+/8GBr7HwjY22ai+rzebJpyVkA?= =?Windows-1252?Q?Tj6UFGTfXYWfsam9kl7im/v8XfzKPqoY8JkTRkjWpXWeu6YNtNS+784u?= =?Windows-1252?Q?RecmND3oOM0VjFIe8iXMW4gGpxxeMwUr+EuxBX/W9oSC+hDDc9k4hVSq?= =?Windows-1252?Q?J5fFSC1ok1wj0NPc4Z5omtvwH/LGR4TYXs+RD6aGxraZDIT+ixKMc1Tr?= =?Windows-1252?Q?q9q8+WvtmpEz01K8/PqcvQYKZMAZNc1TJ8bbzgQNKruAxHsdb+TIncOQ?= =?Windows-1252?Q?Vlb4cDrI7no+gBf/njob3xnhCV+/0pLjahVArZLymlVWLDKyOpc5mi9e?= =?Windows-1252?Q?lICnubuSftF/i/t3T+JqrzaMDDtwVowrlQnz1J2GLwvB/k0KvGW4Z2s9?= =?Windows-1252?Q?7tvZd008XVjutpgmoiZJdpqiKQLvw6CY7mYDBl2VLR56X4kLEEwehATv?= =?Windows-1252?Q?J9/M8sN/5ni+26/ek5lgCzHvmUU0gfs+fSNUps4JwpBphhs13B6n1YfK?= =?Windows-1252?Q?ccDVZQOCepT+HcCJQDs9ewgtS39gr65fjRBZKriHFjR0rsuu4GaM5I4X?= =?Windows-1252?Q?fCsJnG+bnAI4S3qAWsyxGsRmNlSmT2vZPMpkZwYgitKpWPx0po5asXSy?= =?Windows-1252?Q?1UsYaUXqy8l2hY3DwP5VFrymbleSKqPyWwoLOJEjDVM+ndqMVIylNS+v?= =?Windows-1252?Q?PqDxxJ4l9ivRoTE4i1V/n3X93KTop0+ARrf/sHaovAUaGNJsQtbqN2qU?= =?Windows-1252?Q?tjykz900JGo2f2CJ9vt/xVEsQPppn//BeReBNSkge6WNvsZ+ufPhFbp+?= =?Windows-1252?Q?sVAHBaiBTS9CngZzdavlCM1Dd0nJ2NodLaGET1tOvHt0nehlqNlHhGDw?= =?Windows-1252?Q?68393epr0RH5FumnuDHgJ8ATYI2cO3PLZHn5jKb6CfXn6VE/rd2CJIfu?= =?Windows-1252?Q?a4tZZPfC3tkpCY4tHdgwZOywW2jDe+Bhdty+9Xddv9xuAiBeXkIyjvqy?= =?Windows-1252?Q?iRLSGc/lmLPU4GMI5vp8q7qoU7SPjE+Iv60O5+jzAiwja8TtTVX8h6VE?= =?Windows-1252?Q?QZm8eHc6hjo5CJk1K+nzN9mgjcLAjO9ccbxkctYuoos8eyt1cf1pceJC?= =?Windows-1252?Q?KF90OALzK924a+8dpwq5QJ4e5tfMtII5LL+qkhgQgThGa40NvgJmVKKJ?= =?Windows-1252?Q?0BPKF13Fbtq5RMfMaRIQ3zc6pNxjQBuhFfTjmo5kox6qUCQwVs4DaW/m?= =?Windows-1252?Q?yeJCZsbI33HQlcxNL8yCnUmzaV2twZuK6hbT/4aiuLekaiiL/1gt6A?= =?Windows-1252?Q?=3D=3D?= Content-Type: multipart/alternative; boundary="_000_DM6PR12MB31302F25AB9E7570E7F19311CBF0ADM6PR12MB3130namp_" MIME-Version: 1.0 X-OriginatorOrg: Nvidia.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DM6PR12MB3130.namprd12.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: dfd7622b-c107-4bf8-14f1-08dbb44d14bf X-MS-Exchange-CrossTenant-originalarrivaltime: 13 Sep 2023 11:32:15.6041 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 43083d15-7273-40c1-b7db-39efd9ccc17a X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: GT0cylG5NOvNnmoF3mT/4GxG/GetBI531Q4t3SlVjOxRHVDBqNQmIjX/uAuE/FVyzGOvfOoesAXVfrTQZmVF/g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DS0PR12MB7726 Sender: owner-sc22wg5@open-std.org Precedence: bulk --_000_DM6PR12MB31302F25AB9E7570E7F19311CBF0ADM6PR12MB3130namp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable On the basis of NOTE 1 and R1130, it seems the following is a legal program= , but it is rejected by the Intel and NVIDIA compilers. Intel=92s error me= ssage indicates it is following OpenMP=92s syntax rules, which are a reason= able interpretation of the standard, but not one I can find stated in the F= ortran specification. CHARACTER (10) A, B (10) ! define A do concurrent(integer :: i =3D 1 : 42 : 2) shared(A,B(1)) local(B(2:10)) B(2:10) =3D A(2:10) end do end program Can someone explain to me the text that excludes array elements and sub-obj= ects from locality-spec variable name lists? C1127 comes close, but since = B(1) and B(2:10) are both variables describing disjoint data, I do not see = how they can be considered the same name. Even though the name of the encl= osing variable B is present in the name, the variable B itself is not named= . One can of course construct a related example where the letter B only ap= pears once in locality specifiers that is a subarray variable. In short, I do not believe the specification is sufficiently clear on the r= elationship between array element and sub-object variables, and the variabl= es of which they are members, in the definition of locality-spec. Jeff R903 variable-name is name C903 (R903) variable-name shall be the name of a variable. NOTE 1 For example, given the declarations: CHARACTER (10) A, B (10) TYPE (PERSON) P ! See 7.5.2.1, NOTE 1 NOTE 1 (cont.) then A, B, B (1), B (1:5), P % AGE, and A (1:1) are all variables. R1130 locality-spec is LOCAL ( variable-name-list ) or LOCAL_INIT ( variable-name-list ) or REDUCE ( reduce-operation : variable-name-list ) or SHARED ( variable-na= me-list ) or DEFAULT ( NONE ) C1127 The name of a variable shall not appear in more than one variable-nam= e-list, or more than once in a variable-name-list, in a given concurrent-lo= cality. --_000_DM6PR12MB31302F25AB9E7570E7F19311CBF0ADM6PR12MB3130namp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable

On t= he basis of NOTE 1 and R1130, it seems the following is a legal program, bu= t it is rejected by the Intel and NVIDIA compilers.  Intel=92s error m= essage indicates it is following OpenMP=92s syntax rules, which are a reasonable interpretation of the standard, but not one = I can find stated in the Fortran specification.

 

CHARACTER (10) A, B (10)

! define A

do concurrent(integer :: i =3D 1 : 42 : 2) shared(= A,B(1)) local(B(2:10))

B(2:10) =3D A(2:10)<= /span>

end do

end program

 

Can = someone explain to me the text that excludes array elements and sub-objects= from locality-spec variable name lists?  C1127 comes close, but since= B(1) and B(2:10) are both variables describing disjoint data, I do not see how they can be considered the same name. = ; Even though the name of the enclosing variable B is present in the name, = the variable B itself is not named.  One can of course construct a rel= ated example where the letter B only appears once in locality specifiers that is a subarray variable.=

 

In s= hort, I do not believe the specification is sufficiently clear on the relat= ionship between array element and sub-object variables, and the variables o= f which they are members, in the definition of locality-spec.

 

Jeff=

R903 variable-name is name
C903 (R903) variable-name shall be the name of a variable.

NOTE 1

For example, given the declarations:

      =  CHARACTER (10) A, B (10)

      = TYPE (PERSON)  P         ! Se= e 7.5.2.1, NOTE 1

NOTE 1 (cont.)

then A, B, B (1), B (1:5), P % AGE, and A (= 1:1) are all variables.

 

R1130 locality-spec  is LOCAL ( variable-name-list )
or LOCAL_INIT ( variable-name-list )
or REDUCE ( reduce-operation : variable-name-list ) or SHA= RED ( variable-name-list )
or DEFAULT ( NONE )

 

C1127 The name of a variable shall not appear in more than one variable-name-list, or more tha= n once in a variable-name-list, in a given = concurrent-locality.

 

 

 

--_000_DM6PR12MB31302F25AB9E7570E7F19311CBF0ADM6PR12MB3130namp_--