https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82158
Peter Cordes <peter at cordes dot ca> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |WONTFIX
--- Comment #11 from Peter Cordes <peter at cordes dot ca> ---
Flagging this WONTFIX instead of INVALID, since I'm still convinced gcc could
do better. What I'm proposing wouldn't be any worse than breaking the ABI on
UB. I guess unsafe code-gen for something that gcc warns about by default is
not too bad, though.
I guess I should file a separate missed-optimization bug about not eliminating
the code from a basic block that returns in a noreturn function.
See also
https://stackoverflow.com/questions/45981545/why-does-noreturn-function-return/46407858#46407858
(description of the possible optimizations).
