[Bug tree-optimization/52904] -Wstrict-overflow false alarm with bounded loop

[kugan at gcc dot gnu.org]

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

--- Comment #11 from kugan at gcc dot gnu.org ---
I agree. I will post a patch to add this test-case and let the maintainers
decide if this is necessary.