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 7F28A3896825; Tue, 12 Jan 2021 15:23:51 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7F28A3896825
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 Regression] Wrong code with -O3
 since r10-2804-gbf05a3bbb58b3558
Date: Tue, 12 Jan 2021 15:23: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: 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-YBIKzLs3iW@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: Tue, 12 Jan 2021 15:23:51 -0000

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

--- Comment #14 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:71878c08e967997b570b1acbd9ffef4234e94698

commit r10-9263-g71878c08e967997b570b1acbd9ffef4234e94698
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.

    (cherry picked from commit a05cc70a6c1ae0e5b22e16f4d8d13995a38ea1f9)=