From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tkoenig@netcologne.de>
Received: from cc-smtpout1.netcologne.de (cc-smtpout1.netcologne.de
 [89.1.8.211])
 by sourceware.org (Postfix) with ESMTPS id CFD77385803E;
 Sat, 18 Jun 2022 16:19:43 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org CFD77385803E
Received: from cc-smtpin3.netcologne.de (cc-smtpin3.netcologne.de [89.1.8.203])
 by cc-smtpout1.netcologne.de (Postfix) with ESMTP id D52F812AA9;
 Sat, 18 Jun 2022 18:19:41 +0200 (CEST)
Received: from [IPV6:2001:4dd7:3fa9:0:7285:c2ff:fe6c:992d]
 (2001-4dd7-3fa9-0-7285-c2ff-fe6c-992d.ipv6dyn.netcologne.de
 [IPv6:2001:4dd7:3fa9:0:7285:c2ff:fe6c:992d])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
 (No client certificate requested)
 by cc-smtpin3.netcologne.de (Postfix) with ESMTPSA id 8F71911DF0;
 Sat, 18 Jun 2022 18:19:39 +0200 (CEST)
Message-ID: <ed8a1444-0932-21aa-23d2-76efe341c123@netcologne.de>
Date: Sat, 18 Jun 2022 18:19:39 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.9.1
Subject: Re: [PATCH] Fortran: check POS and LEN arguments simplifying bit
 intrinsics [PR105986]
Content-Language: en-US
To: Harald Anlauf <anlauf@gmx.de>, fortran <fortran@gcc.gnu.org>,
 gcc-patches <gcc-patches@gcc.gnu.org>
References: <trinity-fe057ccc-fa64-44dd-b508-ec0ab33ea8e4-1655324780076@3c-app-gmx-bap59>
From: Thomas Koenig <tkoenig@netcologne.de>
In-Reply-To: <trinity-fe057ccc-fa64-44dd-b508-ec0ab33ea8e4-1655324780076@3c-app-gmx-bap59>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-NetCologne-Spam: L
X-Spamd-Bar: ---
X-Rspamd-Queue-Id: 8F71911DF0
X-Spam-Status: No, score=-4.8 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, NICE_REPLY_A, RCVD_IN_DNSWL_LOW,
 RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP,
 T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) 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: Sat, 18 Jun 2022 16:19:45 -0000

Hi Harald,

> we need to check the POS (and LEN) arguments of bit intrinsics
> when simplifying, e.g. when used in array constructors.
> Otherwise we ICE.  Found by Gerhard.
> 
> The fix is straightforward, see attached.
> 
> Regtested on x86_64-pc-linux-gnu.  OK for mainline?

OK.

Thanks for the patch!

Regards

	Thomas