https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113907
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |aldyh at gcc dot gnu.org
--- Comment #44 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #43)
> > // See discussion here:
> > // https://gcc.gnu.org/pipermail/gcc-patches/2021-June/571709.html
> Discussion says:
>
> "Once legacy evrp is removed, this won't be an issue, as ranges in the IL
> will tell the truth. However, this will mean that we will no longer
> remove the first __builtin_unreachable combo. But ISTM, that would be
> correct behavior ??."
...
But that doesn't cause these problems, just perhaps losing some info, right?
If so, trying to change that feels like stage1 material to me.