[Bug c/83703] Loop termination condition ignored in -O3, works in -O2 or with smaller values

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83703

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
We provide the sanitizers (-fsanitize=undefined, -fsanitize=address, etc.) that
you can use to find those issues at runtime.  There are some warnings but
runtime instrumentation can catch far more than warnings can.