https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104639
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Aldy Hernandez from comment #11)
> I don't know. I thought return's were special. Can there be more than one
> per function?
I think high gimple (what before lower pass) allows multiple GIMPLE_RETURN
stmts, but low gimple does not.
But gimple-low.cc comment only says:
3- Multiple identical return statements are grouped into a single
return and gotos to the unique return site.
so perhaps it isn't guaranteed either.
