https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66223
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
Priority|P3 |P2
CC| |hubicka at gcc dot gnu.org
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
So it boils down to a QOI issue as the program invokes undefined behavior
(unless the standard mandates sth for this case).
We currently use __builtin_unreachable () which indeed has some interesting
debugging effects but allows for best optimization.