https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97617
--- Comment #3 from Jan Smets <jan.smets at nokia dot com> --- Sorry, I was too quickly in my wording to "skip single_exit()", of course that edge is still required.
jan.smets at nokia dot com via Gcc-bugs Wed, 28 Oct 2020 06:13:24 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97617
--- Comment #3 from Jan Smets <jan.smets at nokia dot com> --- Sorry, I was too quickly in my wording to "skip single_exit()", of course that edge is still required.