[Bug middle-end/64491] [5 Regression] incorrect warning: loop exit may only be reached after undefined behavior

[jakub at gcc dot gnu.org]

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

--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
So perhaps we just can't warn for your testcase, if we can't detect it
reliably.