From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 99519383DB93; Thu, 6 Oct 2022 20:41:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 99519383DB93 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1665088864; bh=CxMn8xCz69YYVKwVIMreobV909PEouAPsDXzV7kqnpI=; h=From:To:Subject:Date:In-Reply-To:References:From; b=ZPrnfdGmTAAdVgN8otoaNzevKRr5QFi1/TzePZSPjSxFReCg68JJKczV6XiLP0aG1 yJkNuXOdlZP+WGHqfCf3fYB5QoNaHyGSwHrCwMdeQljGeraZMpR+6P6DZ5U6+Embj1 OZfKOxLbwSBZgm+BwSTH5R49usSOgIdzbsjret7k= From: "cvs-commit at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/107170] [13 Regression] ICE on valid code: in as_a, at value-range.h:381 Date: Thu, 06 Oct 2022 20:41:04 +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: P1 X-Bugzilla-Assigned-To: aldyh at gcc dot gnu.org X-Bugzilla-Target-Milestone: 13.0 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=3D107170 --- Comment #2 from CVS Commits --- The master branch has been updated by Aldy Hernandez : https://gcc.gnu.org/g:49b9a8c8cc498b1ed2f566bee858e651e14ba37b commit r13-3139-g49b9a8c8cc498b1ed2f566bee858e651e14ba37b Author: Aldy Hernandez Date: Thu Oct 6 19:11:08 2022 +0200 [PR107170] Avoid copying incompatible types in legacy VRP. Legacy VRP is calling ranger deep inside the bowels, and then trying to copy an incompatible type. My previous patch in this area assumed that the only possibility out of vr_values::get_value_range for an unsupported type was VARYING, but UNDEFINED can also be returned. PR tree-optimization/107170 gcc/ChangeLog: * vr-values.cc (vr_values::range_of_expr): Do not die on unsupported types. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr107170.c: New test.=