[Bug middle-end/104975] ICE in execute, at gimple-harden-conditionals.cc:577 and returns_twice and pure attributes on the same function

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Alexandre Oliva <aol...@gcc.gnu.org>:

https://gcc.gnu.org/g:b8c4171ebd72079e55aceadbcfc883f517cdf895

commit r12-7800-gb8c4171ebd72079e55aceadbcfc883f517cdf895
Author: Alexandre Oliva <ol...@adacore.com>
Date:   Thu Mar 24 10:02:27 2022 -0300

    hardcmp: split before dispatch edge

    If we harden a compare at the end of a block with an edge to the
    abnormal dispatch block, it won't have a single successor.  Arrange to
    split the block at its final stmt so as to have a single succ.


    for  gcc/ChangeLog

            PR middle-end/104975
            * gimple-harden-conditionals.cc
            (pass_harden_compares::execute): Force split in case of
            multiple edges.

    for  gcc/testsuite/ChangeLog

            PR middle-end/104975
            * gcc.dg/pr104975.c: New.