[Bug c/65357] aggressive loop optimization not correct

[weiming at ms1 dot url.com.tw]

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

--- Comment #4 from Weiming Shih <weiming at ms1 dot url.com.tw> ---
How can I get a warning for such an undefined behavior?