From owner-sc22wg5+sc22wg5-dom9=www.open-std.org@open-std.org Tue May 10 02:55:05 2022 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 1859B9DB16C; Tue, 10 May 2022 02:55:05 +0200 (CEST) Delivered-To: sc22wg5@open-std.org Received: from sonic304-13.consmr.mail.bf2.yahoo.com (sonic304-13.consmr.mail.bf2.yahoo.com [74.6.128.36]) by www.open-std.org (Postfix) with ESMTP id 894CB9DB16B for ; Tue, 10 May 2022 02:55:03 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1652144102; bh=PRIS9Do9kZ6UkhIfu3BJW46/b65ZREmufkAgL/T+gZE=; h=Date:From:To:Subject:References:From:Subject:Reply-To; b=4PLNnFqHumhJLrOdZDDhc8ZzXIgUg6EXY26urxd0mP9YBARAPIR9n3gWDBZ3FAiBcBGIv5RP4HW+2AP5yQ0Fg3q9ckcyrS9DcCJzqKYPUKIphexb186DLq6JJvob32wJswbHTG5SmIHJHg6rd3N9da5k/4HRS3F0fQrM/z+gMRE= X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1652144102; bh=NGGR9EGePozOcbgiNp7xPRTw5PA2HlDpyMnF7Ps9y2y=; h=X-Sonic-MF:Date:From:To:Subject:From:Subject; b=MgE50FSsi+UXhRP0LQ1Mm3mnb82g8QoJE8FZXANaV9Xj9Z7Ep5ZI8FOL70SBsr3j9fpCI+fkG5kt2dy9a1r5pL9sqfGMozstZr6o9S0xvg2+/OcE0jAUROpUQd5XEGi7r71sjZ5RzaSMzwlZPKKmUuaIf1hjkcJrIDyQ4FXM8W0oAZTbi4DsH1IUybo1r0dNVSrrZY4MUvJJ14QeCIoeJfbF9Wl3RRH39jlNUtUL5U+UZs4lQGLdpcTBZRTcBKmQEqyq3cbzt6iMqjWWuTteogfBdhcb5Z87Sydc9B0GtqOMuF89bg9PFdhBMHV5OBgqEGbAqwlDVrmwwaYSE2RgOA== X-YMail-OSG: Gq3A0ckVM1kmypNwLr5AQLaoiD0qLq1s0TnlAaQIh0edBKX3ndaE20KNF13rYZd b7qGb6a9a6r0qFYQ6Sbpo8R8K1ArluJLEM_zWv7TvOHx9eGLrB8TNyYWU8QUO3sfvCjRPXpAug7T bXe0tkIE29RLlt8kLrWQhjXfp770_2w1_VXkBH995mBwORHTxWc2tS0LLx3.7pjwS9.g7aBToC9K J31e_vaer99ATdkAtn.B1gZMuk1OdRwz9XqnJ1fShw_d0l71QEPiNw6HRODhkNypHpM1A04VRRBy c6fGxEEuAKe0HZ9Q1zgDv23L0mAakV.6_MmaqOBD_UzfOa9gxXeEMJxdVpUbJOVL6fgx6QG7FKoE Eu4rKiYLMCpql_AeBlMOzq8X6N53C8N4rL1SFLikOPVzILJ88MlfBHe_WREuEfEfqJX1scDKkPk5 vrP0KgbrqUfBYCWvvQEJQGwZOILmNAXsL4QvRQ4RasJSXQKoLHBy8W0cpiH3C3k.wb2p6RKTYOZP YORF.KvhdW0L.Ckqy5xBZnKqa05_vtzfO3jOc1Kq7SmvBIVKtBzMflEZ1JDPHFyCZJnUHvTeVmu7 S0qxBeKBiD2XP0ZKWs.pkMePcjnU4MjJZNbI3QK4NsBLnFRQ5v_CmPQjNlOtlNWtWRwIQOxLrpZS sQEzoVC3xm39C_sgssKRMVXS6TbJGuRGz45EKTAbiVZ7ZOfHL30wI6WsjQgxMGzlgyxoNZKDPTKc bULaOqW_I_uNW3W8hrOGIkAqrAP6G.DosTvveZhNCRKAmIY2nF0lAjk.o_w0L3R9MHZOifo._vU0 Bfsze9W0VYMQaRkLAvmD73Zt9xsseOGQgUsSe9JoY6RJXtli4jmfJyTiL.EtcNhUuGUZjHscdJwG WP_u2.aud6r0E0wk4cqvfK6AUZ4ZwHLr2QkcQl5hLInGQCHqbcZoqpGkI.teaeoUrlNd_UMvLIQU DLcI2iKbB8h2j5KyJzSe3Vs9dmV0VoLDnfC5QcS3X5gK332VvROdpy_WD5zWx5nyHOwoyeMLVjfl Jn4IzK_U6KTkTEg70X96c8QEkSoQiJCv_rzareV7lwmUzE9SrkmPQWj__Q5usuuQVdHCONH0WbWV Z81GdEUuTWc2gakIA9a1JBd44eAO9ebS80DAlLp3o8LokPRFqqkgf_rY9GUtxudQVAMBeR.cKqk5 YfzyNksyjDRdDQb2mJxaEDLCJjYvulhYxt3ybExZVVkCspLXpdz790Kg63AgPqWLBlGt3gp_WC.0 HkUsdzf2Bp3ul0Kyld44X5s4DMNQH2BxZMhDh4Q001DTU3I3l0KOPGlqvZVf6WHrcWecQe1L5IVV Cp5ziL1fQqEU2xN6WAMKb1DoR.y.l2HHDOjIiOBUEIqeA1k8lrIHHQmaXb1z6S4WP4s6YwoEnb65 O0o409b0WgLHwt_PRzsVApt_63TX8B_DO9OrrS2tQ43hOdo_6nbGinWa.CBc88V4oDFjaXUu06_X TMByubrRaoIAUmV2NILW3FjtFe.RwhHbsO2pbbHqntERKJ.Ufc_yKbOZsZKvM9c2ApIimS0HclFo bNjUMZTu4Dq7sxOwgGlgKlUP6chWWf3QWI.mpFRP4MKDuKUfglLKKSglWZMW.xkcjWW90IKSTeRt Wy4EmMER0wQpps4PlKGvzoXRmfOWtstBfMVDUv0lDdDZDeMhBsdIi.tsikGtbclWpLKioDtZ8wkk Ot2jTjAgIIpJRa9arfMrWqDesgJDHyuEPdt7FcAL5YTrIiOzLleLNLU8vTv3aHdMFuopSWuF0ixZ 5122aygwxkOSqngLgaiJrnwhTcLzrv22t0iTNeQ8iB8BvGLYg.hnyHqemz4Y7wbWACcO73BYS4g4 7YOatfpAa5EfJ8xRFj_I3YRF576NDjp0Hj_yQZ7g9MIvlXNnZKeTWRx.aOdjU8VR.gpfmjFWcmi. iAyvcOREKkcA5l4ubyrvpAJ0zD7Eh49Lhu166XQbhoaYT5Mg.bGTQwgdPQfY.2q00XOnI2I2sl5F v5Yvp5dXq2DPgiyvByl1LTXpK0BI.wLv4izJKB6jRnyu8BkrqelRE8ky966JnavifWNrOuwOmg5n O24TxTNmKvZkBmIENGuuBurcitBkvu05z8R5TmG5wOgKRcAid.Zq4F93TD8mGuMeUmoyH6l8AJd5 BPgStBPI3fNAhIA_nBMat X-Sonic-MF: Received: from sonic.gate.mail.ne1.yahoo.com by sonic304.consmr.mail.bf2.yahoo.com with HTTP; Tue, 10 May 2022 00:55:02 +0000 Date: Tue, 10 May 2022 00:53:12 +0000 (UTC) From: Robert Corbett To: "sc22wg5@open-std.org" Message-ID: <1600557624.762127.1652143992891@mail.yahoo.com> Subject: WG5 Letter Ballot 2 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_762126_1856017034.1652143992889" References: <1600557624.762127.1652143992891.ref@mail.yahoo.com> X-Mailer: WebService/1.1.20188 YMailNorrin Sender: owner-sc22wg5@open-std.org Precedence: bulk ------=_Part_762126_1856017034.1652143992889 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Yes=C2=A0 No=C2=A0=C2=A0 Number=C2=A0=C2=A0=C2=A0 Title -Y-=C2=A0 ---=C2=A0 F18/007=C2=A0=C2=A0 Problems with C_FUNLOC and C_F_PROC= POINTER being PURE -Y-=C2=A0 ---=C2=A0 F18/015=C2=A0=C2=A0 Example in C.6.8 is wrong ---=C2=A0 -N-=C2=A0 F18/019=C2=A0=C2=A0 PURE and default initialization -Y-=C2=A0 ---=C2=A0 F18/023=C2=A0=C2=A0 CLASS(*) ambiguous operator overloa= ding -Y-=C2=A0 ---=C2=A0 F18/024=C2=A0=C2=A0 CFI_setpointer with result a deferr= ed length character -Y-=C2=A0 ---=C2=A0 F18/026=C2=A0=C2=A0 C_SIZEOF argument -Y-=C2=A0 ---=C2=A0 F18/027=C2=A0=C2=A0 CO_BROADCAST with allocatable compo= nent -Y-=C2=A0 ---=C2=A0 F18/028=C2=A0=C2=A0 Specification inquiry -Y-=C2=A0 ---=C2=A0 F18/029=C2=A0=C2=A0 Type of main argument of CO_REDUCE -Y-=C2=A0 ---=C2=A0 F18/030=C2=A0=C2=A0 CO_REDUCE/REDUCE OPERATION with coa= rray argument -Y-=C2=A0 ---=C2=A0 F18/031=C2=A0=C2=A0 CO_BROADCAST with polymorphic argum= ent -Y-=C2=A0 ---=C2=A0 F18/032=C2=A0=C2=A0 CO_BROADCAST and pointer components -Y-=C2=A0 ---=C2=A0 F18/033=C2=A0=C2=A0 E/EN/ES/D output exponent when w=3D= 0 -Y-=C2=A0 ---=C2=A0 F18/034=C2=A0=C2=A0 Purity of IEEE_GET_FLAG and IEEE_GE= T_HALTING_MODE -Y-=C2=A0 ---=C2=A0 F18/035=C2=A0=C2=A0 Defining/referencing a coarray comp= onent of a dummy arg -Y-=C2=A0 ---=C2=A0 F18/036=C2=A0=C2=A0 Array element argument for sequence= association -Y-=C2=A0 ---=C2=A0 F18/037=C2=A0=C2=A0 Locality spec limitations -Y-=C2=A0 ---=C2=A0 F18/038=C2=A0=C2=A0 SIZE=3D with no reason -Y-=C2=A0 ---=C2=A0 F18/039=C2=A0=C2=A0 Corresponding coarrays in recursive= procedures -Y-=C2=A0 ---=C2=A0 F18/040=C2=A0=C2=A0 Allocating dummy arg with a coarray= ultimate component -Y-=C2=A0 ---=C2=A0 F18/041=C2=A0=C2=A0 NULL() passed to assumed-rank dummy ---------------------------------------------------------------- F18/019 No I do not object to the answer.=C2=A0 I object to the proposed edit. The text explaining the answer in essence says that if no local or construct variable or named constant is "of a type that has default initialization of a data pointer component to a target any level of component selection" the problems described in the QUESTION portion of the interpretation request cannot arise.=C2=A0 I believe this assertion is correct. The proposed edit might ban a bit more than is intended.=C2=A0 It clearly suffices to ban the cases that need to be banned. However, it might be read to ban cases that do not need to be banned.=C2=A0 Specifically, it might be read as banning type names that name derived types that include default initializations of pointer components to targets.=C2=A0 I do not think it does, but I am not sure it does not. A type name can name a local entity that might seem to be subject to the new constraint.=C2=A0 However, I do not think that a derived type is "of a type" (it is a type), and therefore, is not subject to the constraint.=C2=A0 I find that to be a slender reed.=C2=A0 An alternate edit might be =C2=A0=C2=A0=C2=A0 C1589a A named local or construct data entity of a pure =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 subprogram sha= ll not be of a {declared} type that =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 has default in= itialization of a data pointer =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 component to a= target at any level of component =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 selection. The word "declared" need not be part of the edit, but I find the sentence easier to read with it.=C2=A0 If the the edit is changed as indicated, I will change my answer to "-Y-". If the proposed ban is intended to include type names, I still do not object to the interpretation, but different edits will be needed. ---------------------------------------------------------------- Robert Corbett representing Corbett ------=_Part_762126_1856017034.1652143992889 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Yes  No   Number&nb= sp;   Title

-Y-  ---  F18/007   Proble= ms with C_FUNLOC and C_F_PROCPOINTER being PURE
-Y-  ---  F18/= 015   Example in C.6.8 is wrong
---  -N-  F18/019&nb= sp;  PURE and default initialization
-Y-  ---  F18/023&nb= sp;  CLASS(*) ambiguous operator overloading
-Y-  ---  F1= 8/024   CFI_setpointer with result a deferred length character-Y-  ---  F18/026   C_SIZEOF argument
-Y-  ---=   F18/027   CO_BROADCAST with allocatable component
-Y-&n= bsp; ---  F18/028   Specification inquiry
-Y-  ---&n= bsp; F18/029   Type of main argument of CO_REDUCE
-Y-  --= -  F18/030   CO_REDUCE/REDUCE OPERATION with coarray argumen= t
-Y-  ---  F18/031   CO_BROADCAST with polymorphic = argument
-Y-  ---  F18/032   CO_BROADCAST and pointe= r components
-Y-  ---  F18/033   E/EN/ES/D output ex= ponent when w=3D0
-Y-  ---  F18/034   Purity of IEEE= _GET_FLAG and IEEE_GET_HALTING_MODE
-Y-  ---  F18/035 &nb= sp; Defining/referencing a coarray component of a dummy arg
-Y-  --= -  F18/036   Array element argument for sequence association=
-Y-  ---  F18/037   Locality spec limitations
-Y= -  ---  F18/038   SIZE=3D with no reason
-Y-  -= --  F18/039   Corresponding coarrays in recursive procedures=
-Y-  ---  F18/040   Allocating dummy arg with a coa= rray ultimate component
-Y-  ---  F18/041   NULL() p= assed to assumed-rank dummy

----------------------------------------= ------------------------
F18/019 No

I do not object to the answer= .  I object to the proposed edit.

The text explaining the answe= r in essence says that if no
local or construct variable or named consta= nt is "of a type
that has default initialization of a data pointer compo= nent
to a target any level of component selection" the problems
descr= ibed in the QUESTION portion of the interpretation
request cannot arise.=   I believe this assertion is correct.

The proposed edit might = ban a bit more than is intended.  It
clearly suffices to ban the ca= ses that need to be banned.
However, it might be read to ban cases that = do not need to
be banned.  Specifically, it might be read as bannin= g
type names that name derived types that include default
initializat= ions of pointer components to targets.  I do not
think it does, but= I am not sure it does not.

A type name can name a local entity that= might seem to be
subject to the new constraint.  However, I do not= think that
a derived type is "of a type" (it is a type), and therefore,=
is not subject to the constraint.  I find that to be a slender
= reed.  An alternate edit might be

    C1589a A n= amed local or construct data entity of a pure
    &n= bsp;      subprogram shall not be of a {declared} = type that
           h= as default initialization of a data pointer
    &nbs= p;      component to a target at any level of comp= onent
           selec= tion.

The word "declared" need not be part of the edit, but I findthe sentence easier to read with it.  If the the edit is
changed = as indicated, I will change my answer to "-Y-".

If the proposed ban = is intended to include type names, I
still do not object to the interpre= tation, but different
edits will be needed.

---------------------= -------------------------------------------

Robert Corbett represent= ing Corbett

------=_Part_762126_1856017034.1652143992889--