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 26E89384AB5F; Wed, 24 Apr 2024 08:13:11 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 26E89384AB5F
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1713946392;
	bh=oRrAGmqNzEp33uVb75wTySi9Ba/BcT9F9eUVNv1gUDY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=FH61/0o7zNSWhiyGr1RGG/+0JRtoT2LrmUvr45WhSQUfwrZprszdv/CkL43kz+fsr
	 zJocFnATyhwBU/RCAqPq3GaSVyEp1W9ovkrz8RD2mo/gQnyPUCpJ9aIYS12kSo53C3
	 7lOkU8Qe49cQRuyyyA0Gmvk5Tv0uIs2f3yKhek9k=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/114832] [14 Regression] ICE at -O{2,3} with
 "-fno-tree-loop-if-convert -fno-tree-loop-distribute-patterns
 -ftree-vectorize" on x86_64-linux-gnu: in verify_dominators, at
 dominance.cc:1194
Date: Wed, 24 Apr 2024 08:13:08 +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: unknown
X-Bugzilla-Keywords: ice-checking, 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: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-114832-4-JisfRBDORA@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114832-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114832-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=3D114832

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:e28e8ab1a92e9b49f7c4045377577c8dc17751b7

commit r14-10105-ge28e8ab1a92e9b49f7c4045377577c8dc17751b7
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Apr 24 06:24:22 2024 +0200

    tree-optimization/114832 - wrong dominator info with vect peeling

    When we update the dominator of the redirected exit after peeling
    we check whether the immediate dominator was the loop header rather
    than the exit source when we later want to just update it to the
    new source.  The following fixes this oversight.

            PR tree-optimization/114832
            * tree-vect-loop-manip.cc (slpeel_tree_duplicate_loop_to_edge_c=
fg):
            Fix dominance check.

            * gcc.dg/vect/pr114832.c: New testcase.=