From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 598463858C3A; Thu, 1 Feb 2024 10:13:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 598463858C3A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1706782392; bh=OcTkQ5hTy44S0vDqQAwfu/ocYa0RjtmpHFWevoXcN00=; h=From:To:Subject:Date:In-Reply-To:References:From; b=v+I329crClkkzrAuWIndfr3SIFEAggORlfaVjKjgkIS/hBMyx5c3y4jg6uncwG5f6 W1zo1ZszkgqdXyd/8JdQhj4npJz8SNqU1NqreWFMLMt9t84pg/ToQDN9IR+5poTk2h PXa+8V/Y8dGHNRO/tRfMgRHVLsQuNe53WmElwBHU= From: "cvs-commit at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/113693] ICE: in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647 with _BitInt() at -O2 -fdbg-cnt=vect_loop:1 Date: Thu, 01 Feb 2024 10:13:07 +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: 14.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: P3 X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: 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: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D113693 --- Comment #3 from GCC Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:b84f8a5e0a7ef3e5bd0d186fc7e280d9c43c5b7f commit r14-8683-gb84f8a5e0a7ef3e5bd0d186fc7e280d9c43c5b7f Author: Richard Biener Date: Thu Feb 1 09:18:47 2024 +0100 tree-optimization/113693 - LC SSA and region VN The following fixes LC SSA preserving with region VN which was broken when availability checking was enhanced to treat not visited value numbers as available. The following makes sure to honor availability data we put in place for LC SSA preserving instead. PR tree-optimization/113693 * tree-ssa-sccvn.cc (rpo_elim::eliminate_avail): Honor avail data when available. * gcc.dg/pr113693.c: New testcase.=