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 B33013858D28; Thu, 25 Nov 2021 11:29:32 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B33013858D28
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/103052] [9/10/11 Regression] Function is found to be pure
 looping but has a call to a noreturn function in it
Date: Thu, 25 Nov 2021 11:29:32 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 10.3.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: hubicka at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 9.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-103052-4-9GKiqIi5iw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-103052-4@http.gcc.gnu.org/bugzilla/>
References: <bug-103052-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: Thu, 25 Nov 2021 11:29:32 -0000

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

--- Comment #14 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Jan Hubicka
<hubicka@gcc.gnu.org>:

https://gcc.gnu.org/g:6a1358f7ea1111475e9d46c1535656bdfb2a7904

commit r11-9310-g6a1358f7ea1111475e9d46c1535656bdfb2a7904
Author: Jan Hubicka <jh@suse.cz>
Date:   Sun Nov 21 00:35:22 2021 +0100

    Fix looping flag discovery in ipa-pure-const

    The testcase shows situation where there is non-trivial cycle in the
callgraph
    involving a noreturn call.  This cycle is important for const function
discovery
    but not important for pure.  IPA pure const uses same strongly connected
    components for both propagations which makes it to get suboptimal result
    (does not detect the pure flag). However local pure const gets the
situation
    right becaue it processes functions in right order.  This hits rarely
    executed code in propagate_pure_const that merge results with previously
    known state that has long standing bug in it that makes it to throw away
    the looping flag.

    Bootstrapped/regtested x86_64-linux.

    gcc/ChangeLog:

    2021-11-21  Jan Hubicka  <hubicka@ucw.cz>

            PR ipa/103052
            * ipa-pure-const.c (propagate_pure_const): Fix merging of loping
flag.

    gcc/testsuite/ChangeLog:

    2021-11-21  Jan Hubicka  <hubicka@ucw.cz>

            PR ipa/103052
            * gcc.c-torture/execute/pr103052.c: New test.

    (cherry picked from commit a0e99d5bb741d3db74a67d492f47b28217fbf88a)=