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 2DB5139450DC; Wed,  6 Jan 2021 09:21:36 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2DB5139450DC
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/98513] [10/11 Regression] Wrong code with -O3
 since r10-2804-gbf05a3bbb58b3558
Date: Wed, 06 Jan 2021 09:21:35 +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: 11.0
X-Bugzilla-Keywords: wrong-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: P2
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-98513-4-oTwBXhZ3dD@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-98513-4@http.gcc.gnu.org/bugzilla/>
References: <bug-98513-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
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 06 Jan 2021 09:21:36 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D98513

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

commit r11-6499-ga05cc70a6c1ae0e5b22e16f4d8d13995a38ea1f9
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Jan 6 09:26:55 2021 +0100

    tree-optimization/98513 - fix bug in range intersection code

    This fixes a premature optimization in the range intersection code
    which assumes earlier branches have to be taken, not taking into
    account that for symbolic ranges we cannot always compare endpoints.
    The fix is to instantiate the compare deemed redundant (which then
    fails as undecidable for the testcase).

    2021-01-06  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/98513
            * value-range.cc (intersect_ranges): Compare the upper bounds
            for the expected relation.

            * gcc.dg/tree-ssa/pr98513.c: New testcase.=