[Bug tree-optimization/104263] [10/11/12 Regression] '-fcompare-debug' failure (length) w/ -O2 -fnon-call-exceptions -fno-inline-small-functions since r10-3575-g629387a6586a7531

[cvs-commit at gcc dot gnu.org]

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

--- Comment #9 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:5b6f04276e3d1f20817ed37b2e26e43bd12cc0d2

commit r12-6917-g5b6f04276e3d1f20817ed37b2e26e43bd12cc0d2
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Jan 28 10:55:29 2022 +0100

    tree-optimization/104263 - avoid retaining abnormal edges for non-call/goto
stmts

    This removes a premature optimization from
    gimple_purge_dead_abnormal_call_edges which, after eliding the
    last setjmp (or computed goto) statement from a function and
    thus clearing cfun->calls_setjmp, leaves us with the abnormal
    edges from other calls that are elided for example via inlining
    or DCE.  That's a CFG / IL combination that should be impossible
    (not addressing the fact that with cfun->calls_setjmp and
    cfun->has_nonlocal_label cleared we should not have any abnormal
    edge at all).

    For the testcase in the PR this means that IPA inlining will
    remove the abormal edges from the block after inlining the call
    the edge was coming from.

    2022-01-28  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/104263
            * tree-cfg.cc (gimple_purge_dead_abnormal_call_edges):
            Purge edges also when !cfun->has_nonlocal_label
            and !cfun->calls_setjmp.

            * gcc.dg/tree-ssa/inline-13.c: New testcase.