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 748993858C52; Thu, 26 Jan 2023 12:49:51 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 748993858C52
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1674737391;
	bh=5EWZAAomE+wt2z+aS2/pDmofV+4g2EtkhwP9M0Zn+1M=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=dowY600dZk0AhQz/h+B/Ay+qZRxoxE20iacy1VIE5u+3mniEYb39E7sSzJ7hMMd1N
	 mUIspJ9qRuGdfa1o5zMaJkTb/vhnmNQuoRh73jUgnI0CH+AOBE/xHwoyz4zIDdms3c
	 HjB3AixzEBXLin3xXIN1XSsn5hdcZj6N/R9hELss=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/108547] [13 Regression] ice in decompose, at
 wide-int.h:984 for -O2 with -Wall since r13-2500-g0a4a2667dc115ca7
Date: Thu, 26 Jan 2023 12:49:50 +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: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-108547-4-DkwqE9IuvP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108547-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108547-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=3D108547

--- Comment #8 from CVS 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:c71a128a3e1ff6ee5274fc2df49ea650bc9e6c2d

commit r13-5383-gc71a128a3e1ff6ee5274fc2df49ea650bc9e6c2d
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Jan 26 08:59:20 2023 +0100

    tree-optimization/108547 - robustify uninit predicate analysis

    Predicate analysis, when looking through casts doesn't bother to
    convert boundary constants to the type of the bounded variables.
    The following robustifies value_sat_pred_p to use widest_ints
    to deal with this, like other code in predicate analysis.

            PR tree-optimization/108547
            * gimple-predicate-analysis.cc (value_sat_pred_p):
            Use widest_int.

            * gcc.dg/uninit-pr108547.c: New testcase.=