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 0C805385829F; Wed, 19 Oct 2022 14:01:56 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0C805385829F
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1666188116;
	bh=rpuQj9Tsghi+LgtyyuAAroB/p7hm/jO/GwIxDkRwD8A=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=vaNgR0oO/dQpaBZxdgVimRKrZ4BPy6y9SjwSzU7ITOXiRVi1uUvYSjusu0qx3rw+v
	 8aW24PDUzC4+QQaE53UD/s8Gf17l2+B3ppXVphjZ4XhZRir/a1Lo6Wt1/YjaFvoQ5u
	 acpgdLW3tL7OrPj4LBV/4Sb1qn9rL6JzlCjylS70=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/107312] [13 Regression] ICE in verify_range,
 at value-range.cc:1172, called from range_true_and_false since
 r13-3193-g8b6bcedc88d54415
Date: Wed, 19 Oct 2022 14:01: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: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107312-4-qxLTDabTCE@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107312-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107312-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=3D107312

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:

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

commit r13-3382-gd32969898e113e86e1c42b0c6f096f8228cbf1ff
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Wed Oct 19 14:27:46 2022 +0200

    [PR tree-optimization/107312] Make range_true_and_false work with 1-bit
signed types.

    range_true_and_false() returns a range of [0,1], which for a 1-bit
    signed integer gets passed to the irange setter as [0, -1].  These
    endpoints are out of order and cause an ICE.  Through some dumb luck,
    the legacy code swaps out of order endpoints, because old VRP would
    sometimes pass endpoints reversed, depending on the setter to fix
    them.  This swapping does not happen for non-legacy, hence the ICE.

    The right thing to do (apart from killing legacy and 1-bit signed
    integers ;-)), is to avoid passing out of order endpoints for 1-bit
    signed integers.  For that matter, a range of [-1, 0] (signed) or
    [0, 1] (unsigned) is just varying.

            PR tree-optimization/107312

    gcc/ChangeLog:

            * range.h (range_true_and_false): Special case 1-bit signed typ=
es.
            * value-range.cc (range_tests_misc): New test.

    gcc/testsuite/ChangeLog:

            * gcc.target/i386/pr107312.c: New test.=