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 C12793857C61; Wed, 14 Sep 2022 12:49:02 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C12793857C61
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1663159742;
	bh=YAFrOQFXYQ0UBeM+wuRh/9wre1JgYZqL/V8leGW3uK4=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=dXCLRpsckIbrBFUQbS2hziJsd6FEJlav3Rd+wnD1nW5+jZ4v7Wf8j/k2/KiEL9n74
	 8v8C6DACW2xAeQlY1wximqEQtKh3KVZ6XB+aQwW2edSefoZl/2IEGLrkqEGVY9hM3V
	 rdQc8zfnPBqZizQ52G2EVDO1r/s1bpJ305txfU0w=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/106936] [13 Regression] ICE in
 get_value_range, at value-query.cc:170 since r13-1815-g8b8103dcd2624936
Date: Wed, 14 Sep 2022 12:49:02 +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: P3
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-106936-4-pKOWmaX3tO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-106936-4@http.gcc.gnu.org/bugzilla/>
References: <bug-106936-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=3D106936

--- Comment #3 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:12a8d5e2f2e7d7535115e4e105c0f9eb4d50fdad

commit r13-2663-g12a8d5e2f2e7d7535115e4e105c0f9eb4d50fdad
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Wed Sep 14 14:48:36 2022 +0200

    [PR106936] Remove assert from get_value_range.

    This assert was put here to make sure that the legacy
    get_value_range() wasn't being called on stuff that legacy couldn't
    handle (floats, etc), because the result would ultimately be copied
    into a value_range_equiv.

    In this case, simplify_casted_cond() is calling it on an offset_type
    which is neither an integer nor a pointer.  However, range_of_expr
    happily punted on it, and then the fallthru code set the range to
    VARYING.  As value_range_equiv can store VARYING types of anything
    (including types it can't handle), this is fine.

    The easiest thing to do is remove the assert.  If someone from the non
    legacy world tries to get a non integer/pointer range here, it's going
    to blow up anyhow because the temporary in get_value_range is
    int_range_max.

            PR tree-optimization/106936

    gcc/ChangeLog:

            * value-query.cc (range_query::get_value_range): Remove assert.

    gcc/testsuite/ChangeLog:

            * g++.dg/tree-ssa/pr106936.C: New test.=