From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 4B1C13857009; Mon, 17 Apr 2023 09:14:52 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4B1C13857009
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1681722892;
	bh=WEXTHV7in/+yB67XdazeWYojGqw569wv8SbVNHMq41s=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=x8eoc3LhbeBErVxt3Xe02qwFrpsd6zzZackBK0A4rd42vmA2/9vs/C+dedVQ0gNVB
	 T/Q61rPwbD6nXLG/F3xK2NAJkpAxKb0yaKtDW/SlAlXvSWBMmCcRVnVjE/MyoA3UZa
	 Va8rDNmcH5Zi+DBmOZFFrKZ8W/5ZsrOUxs9x2Iwg=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/109473] [10/11/12 Regression] ICE during
 GIMPLE pass: vect: verify_gimple failed with -O1 -ftree-loop-vectorize since
 r10-4076-g82e8e335f917b9
Date: Mon, 17 Apr 2023 09:14:51 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109473-4-dDRzi7p54v@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109473-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109473-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109473

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:053668dbf11bb61c63fa7db5b3bccd0fdac9e726

commit r12-9412-g053668dbf11bb61c63fa7db5b3bccd0fdac9e726
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Apr 12 10:22:08 2023 +0200

    tree-optimization/109473 - ICE with reduction epilog adjustment op

    The following makes sure to carry out the reduction epilog adjustment
    in the original computation type which for pointers is an unsigned
    integer type.  There's a similar issue with signed vs. unsigned ops
    and overflow which is fixed by this as well.

            PR tree-optimization/109473
            * tree-vect-loop.cc (vect_create_epilog_for_reduction):
            Convert scalar result to the computation type before performing
            the reduction adjustment.

            * gcc.dg/vect/pr109473.c: New testcase.

    (cherry picked from commit df7f55cb2ae550adeda339a57b657ebe1ad39367)=