From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mout.gmx.net (mout.gmx.net [212.227.15.15]) by sourceware.org (Postfix) with ESMTPS id 3CB22385840F; Mon, 19 Sep 2022 19:46:53 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 3CB22385840F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmx.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmx.de DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1663616810; bh=Aay/7Q4zQWo/wCH//5z3ZO7KiUEyeXq/2X4fJvO33ro=; h=X-UI-Sender-Class:Date:Subject:To:Cc:References:From:In-Reply-To; b=V7J6FsA3zxPS1sceQyfu9qlj5nm2qx//KiniCUtEzMg1Ks65Jfxzq05+A0hP9hXLt Sk0nnmV4kU/RKJVHsmqY+rqf+vePkirLuCbq1+3AFjTv7PxBqfue+mGXzzvRGGkCi3 cwPtpJDmr9NRSnMqLOQW3lznw9jeUw8BaxYjWxF0= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [192.168.178.29] ([93.207.89.44]) by mail.gmx.net (mrgmx004 [212.227.17.190]) with ESMTPSA (Nemesis) id 1MPGW7-1ovUW7199J-00Pg7T; Mon, 19 Sep 2022 21:46:50 +0200 Message-ID: <6ac60050-2298-df01-1345-d53c868ed5d9@gmx.de> Date: Mon, 19 Sep 2022 21:46:47 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.2 Subject: Re: [PATCH 09/10] fortran: Support clobbering of variable subreferences [PR88364] To: Mikael Morin , Thomas Koenig , Richard Biener Cc: Mikael Morin , gcc-patches@gcc.gnu.org, fortran@gcc.gnu.org Newsgroups: gmane.comp.gcc.patches,gmane.comp.gcc.fortran References: <20220916202439.549820-1-mikael@gcc.gnu.org> <20220916202439.549820-10-mikael@gcc.gnu.org> <3edab734-f5bb-5557-ff98-b0ce47d7c510@orange.fr> <3ef8c5c4-35a1-fa60-2a2d-a7bb3fbd35fc@gmx.de> <9996bd59-9cf1-12df-faa5-7d546e5732f7@orange.fr> Content-Language: en-US From: Harald Anlauf In-Reply-To: <9996bd59-9cf1-12df-faa5-7d546e5732f7@orange.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:6kq3e1l3+WwjLhSfaqwtl8618ySRjpdKaUcMTbCIX3CCBd0nRcq px8+2uNp6ZPRdX8LiR2i1eNDK3aiZxD2X0/e7qsPtwW96j9XXlnnxluJJeH4Pe0/DQ382bS Y5iBJyoycE3jQqe2AuClQZRQK5kmDeNLDZrKYLVG4iacCyP0rb+NnIU+0aD1X3AozdRIxpV yL+wT3+onMpfv35EIwPdA== X-UI-Out-Filterresults: notjunk:1;V03:K0:PKi/9TeLhPs=:AAOCeQ3Fv/SZS4+snHrMwA cp+/HOvwTMJXD9kfeUCIhhG2iVRvsSnnrg3ED3OGDsHAxasiV1++qCNpLAUPdPJHdo9lwhubm zuHIGw+EHcxYx+JN1c5xVuuzwpHrZXbcTdOtdLLYW9SFmbyiv7IiMFVoRpbaaTxGdmuFxzO8v VOw8cbU7N8KS+nqLUkfSKSvDqfbITlnVN4fxNVxZz6zFP/hBKYF0o0iLobrbqD594av/q9ro2 /8Q5ubrVKvE+0kdqNsNPUl0ze/nxH9H+CUUXEc3R7MFXVjDD7xuZwH1l1k4SN+ccYDRUL7Sdq VPZsI5peiATQAuJ6lL0bg2qly7E26xB6GiLH+KlLlbX0jLJGb+NC0mXpMbDmWu0HL9IACQn0F eDTg9yN9eI0VC28FPPuc1hRJAySdziFV2HI5wf41V0q3lJjLz5grQ8NINlFrcHR0sbok7hwOY ji97ESb616UYDg/V3koXG/Mx9R0vm4zx+T5/ySBaICt3gfZC3jegcyUzN4jFcSDDa4w+7ghbl 7NFNTQ8aS9R+zusRiBziQhxP0UUeiOLb/Tbswdt/SQNz/v+Aga1I9WA2jQHSDaRBec5iH0cx/ M4R2VX5z3NEK9LrxkQ81squDShjjt6xv9rzWY+WGFg8MoKZqY+KbIveCSPjUMOTm5D+VFOTMb 1JIhoROgnqHdHZolKzNfumX5ZMWJZVQHV2K16dDyKIVO4Vg2HrViTbBUz/RaoMNSqSpKr6B+s OzDr466ncAkvdmErpZHkwKJwCrtm2kI7bp5oXsl4G4BIN23eYMV1p1eiX9t90cHy3S1Pzghkd WjXG0mFUEGmAmQQYDTQWXpPc0/DZ5H4IOjR1AcwKEyq/D6vBHKSQNArFf3WPB2OBJnvw9ZNcI EkxFTqSvmaRQDfmBNxF8kblv6DZ4Jt6eREILUyOf8PyHcvfKuJ9BCaBie+/Z+bJ9UYvtQK8xq 5I6Lay2oqBUUQzvkxVodYR078howbPgB0DXIpTZNjU5Nt64aIMT7t3l72dVGV5JFuXECuEtCb OzTpkpELuimV8pDRz/5tYpgJxla8r6zROi73mE2c7dpbd18IDYXL8zdKvIJZvANhwdL//HDOP 5p2eXs4dM30NzVJx6AUnCRnpJMRk+S4BK8vmotf8a0JD/AbVMWvvkr7MzR7o24WCkuwvpIn0W y+y5g= X-Spam-Status: No, score=-5.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Am 18.09.22 um 22:55 schrieb Mikael Morin: > Le 18/09/2022 =C3=A0 20:32, Harald Anlauf a =C3=A9crit=C2=A0: >> >> Assumed shape will be on the easy side, >> while assumed size likely needs to be excluded for clobbering. >> > Isn=E2=80=99t it the converse that is true? > Assumed shape can be non-contiguous so have to be excluded, but assumed > size are contiguous, so valid candidates for clobbering. No? I really was referring here to *dummies*, as in the following example: program p integer :: a(4) a =3D 1 call sub (a(1), 2) print *, a contains subroutine sub (b, k) integer, intent(in) :: k integer, intent(out) :: b(*) ! integer, intent(out) :: b(k) if (k > 2) b(k) =3D k end subroutine sub end program p Assumed size (*) is just a contiguous hunk of memory of possibly unknown size, which can be zero. So you couldn't set a clobber for the a(1) actual argument. > No way, really, arrays are going to be a maze of complexity. Agreed.