From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <anlauf@gmx.de>
Received: from mout.gmx.net (mout.gmx.net [212.227.15.18])
 by sourceware.org (Postfix) with ESMTPS id 675D23858004;
 Wed, 10 Mar 2021 19:43:30 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 675D23858004
X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
Received: from [93.207.91.224] ([93.207.91.224]) by web-mail.gmx.net
 (3c-app-gmx-bs58.server.lan [172.19.170.142]) (via HTTP); Wed, 10 Mar 2021
 20:43:25 +0100
MIME-Version: 1.0
Message-ID: <trinity-982a86be-17e0-42a2-ad3c-b00a5cf85014-1615405404985@3c-app-gmx-bs58>
From: Harald Anlauf <anlauf@gmx.de>
To: Tobias Burnus <tobias@codesourcery.com>
Cc: fortran <fortran@gcc.gnu.org>, gcc-patches <gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH] PR fortran/99205 - [10/11 Regression] Out of memory
 with undefined character length
Content-Type: text/plain; charset=UTF-8
Date: Wed, 10 Mar 2021 20:43:25 +0100
Importance: normal
Sensitivity: Normal
In-Reply-To: <8a63eb89-91e6-1e8d-870e-8a2f7a6750df@codesourcery.com>
References: <trinity-f0b06340-8653-42d5-b5bf-fcfb5e2ce01e-1615319100120@3c-app-gmx-bs50>
 <8a63eb89-91e6-1e8d-870e-8a2f7a6750df@codesourcery.com>
Content-Transfer-Encoding: quoted-printable
X-UI-Message-Type: mail
X-Priority: 3
X-Provags-ID: V03:K1:WAeYGAe/Q39TQ/uskgItoAdfGYL3KmCFhVqwbb/uNkk4A/fJXDVfoFoaMCpvapw/86+iO
 npY301zKSoMgar5z4jeK7ApjNthiTMVzPCnU5rD2O6wf6R1Is+jMPi9BCr1byqIY/u5ckwUcw+0E
 ebHV7giSArUZZPf8WLyQo+5azm/e+AaOq2T1OI2leGk/++uyhU7qWXDS2L0m4PwZPk/tDLfg8WPk
 7Vj+Wy/bs+18+mBlMrcBzWr0c5F+VQniMXUYHzL04EEALPpfbjCUSLfBDE22loya72GIpeDFn9iD
 GI=
X-UI-Out-Filterresults: notjunk:1;V03:K0:71vni0oUlXs=:mIsFBo9RdpZHOOetb2D9p9
 DP8KG2nZNShmSS9HSmsUDbnklZy99ryYDeSZXMuMfDwzm4vFsp42/4UkuvEaFjA+L2nVUNwch
 JZXgjoCIulyUqFWuwak8tsIih5AuAkHqtGy7w4/4sO3hENi2EN/CQ/k2Sq8YBO832ikr/4kNB
 PRUSMwaplf7zZ8j0bSsHWnYSo6DPpO8FOP1HChYVGKh2CshJaWE94KPtb8iOgmU2xajOMAi77
 cY3m7oNrPYGMSYlTeusOyJuJFMAof0HCQK+J6jxOZ7nxTnUPEo8j0vxaCno6vI/abE6PFYIlg
 4+0n9j5eBwyYwJeR30X0XsYg0nszyM4b4daB/2gUyOhT4HBWQtsdLgWRwWttdnClZRrn8j59H
 Lx2Szzru2vUUWer+L8MiKZqRSjIU0qy33OwfMeMNzbu7rlyvuosFRQBnzjrYQ3rmgzRtoaX86
 8jkqeyX/A28/v1rsHCjGl2mHFTZzsiAUm6PEuEB2i9Il+67aOKu58Oz7SmpL7rkjn72C7xdOk
 yhNDIS76/XChZvpg8Pyyv9H2lFTKT0r7j5Ud550KLXoG34eJm4QwFdal+u0I5tnUC3h2IWTIc
 B/Q/DZC5wxDUw=
X-Spam-Status: No, score=-4.7 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, FREEMAIL_FROM, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE,
 SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: fortran@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Fortran mailing list <fortran.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/fortran>,
 <mailto:fortran-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/fortran/>
List-Help: <mailto:fortran-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/fortran>,
 <mailto:fortran-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 10 Mar 2021 19:43:33 -0000

Dear Tobias,

thanks for your comments=2E

> > A variable that is a data statement object shall be a designator,
> > thus a character variable shall have a constant length=2E
>=20
> This comment is wrong: A designator does not imply this =E2=80=93 nor is
> F2018:C875 violated, not even the substring starting/ending point
> const expr bit=2E

OK, I will think of a better wording=2E

> In the following variant of the program, the invalid
> variable declaration of 'c' itself is avoided by using
> a block:
>=20
> integer :: ll
> ll =3D 4
> block
>    character(ll) :: c(2), cc(2)
>    character(ll) :: c2(2), cc2(2)
>    data c /'a', 'b'/
>    data c2(:)(1:1) /'a', 'b'/
>    common /block/ cc, cc2
> end block
> end

No, this example is invalid, see

C1107(R1107) A block-specification-part shall not contain a COMMON, EQUIVA=
LENCE, INTENT, NAMELIST,
OPTIONAL, statement function, or VALUE statement=2E

Harald