https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79854
Thomas Koenig <tkoenig at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tkoenig at gcc dot gnu.org
--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #4)
> Would not it be better to use
>
> gcc_unreachable ();
>
> as it is done in numerous places?
Sounds like a good idea to me. Dominique, do you
want to prepare a patch along these lines?
