[Bug tree-optimization/107505] [13 Regression] ICE: verify_flow_info failed (error: returns_twice call is not first in basic block 2)

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

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Alexander Monakov <amona...@gcc.gnu.org>:

https://gcc.gnu.org/g:5d060d8b0477ff4911f41c816281daaa24b41a13

commit r13-3753-g5d060d8b0477ff4911f41c816281daaa24b41a13
Author: Alexander Monakov <amona...@ispras.ru>
Date:   Mon Nov 7 15:33:01 2022 +0300

    tree-ssa-sink: do not touch calls that return twice

    Avoid moving pure/const calls that may return twice in tree-ssa-sink:
    properly redirecting the associated abnormal edge is non-trivial.

    gcc/ChangeLog:

            PR tree-optimization/107505
            * tree-ssa-sink.cc (statement_sink_location): Additionally
            reject ECF_RETURNS_TWICE calls.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/107505
            * gcc.dg/pr107505.c: New test.