[Bug sanitizer/95385] GCC stop detect UBs after a divide by zero in for statement

[haoxintu at gmail dot com]

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

--- Comment #4 from Haoxin Tu <haoxintu at gmail dot com> ---
(In reply to Haoxin Tu from comment #3)

Hi, so sorry to bother you.

Is still there any problem here? Please take a look at test3.cc and test4.cc.
Thank you so much.