http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59371
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Maciej W. Rozycki from comment #8)
> Richard,
>
> I wasn't aware integer promotions applied here, thanks for pointing it
> out. New code is therefore correct while old one was not. Unfortunately
> neither -fwrapv nor -funsafe-loop-optimizations changes anything.
But then it must be target specific thing. Because, -fwrapv certainly changes
it to the same IL as has been emitted before that change (also with -fwrapv, of
course).
So, any reason not to close this PR, because while we generate slower code, the
slower code is actually correct while the old one was wrong?
