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 7CEC23858D32; Mon, 18 Sep 2023 02:19:09 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7CEC23858D32
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1695003549;
	bh=G+Fr2Q4i2edTuc3SUCnaywBgGdzRjQMYveTMbwjvd6k=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=tVMrPKUdvHqtbfGXOqDDjgR2vtVOeufgg72GPDU0zMSkbDyo2DVn8RMaMQuJ6CPYS
	 97a+AcidaESgZavcFhekljIWTvZpC5tAHqebZRRX0CjPUfwnB4HvJWu1amoveBUjhO
	 OEUD2eW0MNc2P/OiAxzSLuMtZ/dQ+W2+Gq0vQigE=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/111303] [14 Regression] ICE: in type, at
 value-range.h:869
Date: Mon, 18 Sep 2023 02:19: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: guojiufu at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-111303-4-V1H7j5V5bd@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111303-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111303-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=3D111303

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jiu Fu Guo <guojiufu@gcc.gnu.org>:

https://gcc.gnu.org/g:55b22a6f630e76a0be913ced8bf1b017eaffd89b

commit r14-4082-g55b22a6f630e76a0be913ced8bf1b017eaffd89b
Author: Jiufu Guo <guojiufu@linux.ibm.com>
Date:   Wed Sep 13 16:12:05 2023 +0800

    use local range for one more pattern in match.pd

    For "get_global_range_query" SSA_NAME_RANGE_INFO can be queried.
    For "get_range_query", it could get more context-aware range info.
    And look at the implementation of "get_range_query",  it returns
    global range if no local fun info.

    ATTRIBUTE_RETURNS_NONNULL inline range_query *
    get_range_query (const struct function *fun)
    {
      return (fun && fun->x_range_query) ? fun->x_range_query : &global_ran=
ges;
    }

    So, using "get_range_query" would cover more case.
    For example, the test case of "pr111303.c".

            PR middle-end/111303

    gcc/ChangeLog:

            * match.pd ((t * 2) / 2): Update pattern.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/pr111303.c: New test.=