https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122537
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |16.0
Summary|[13/14/15/16 Regression] |[13/14/15 Regression] wrong
|wrong code at -O3 with |code at -O3 with -fwrapv
|-fwrapv |
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
The testcase is now fixed. I believe niters are still computed wrong for the
case the loop iterates, like when a is very large initially and d + a - 80
overflows. Fuzzers will surely find a testcase for that.
