[Bug tree-optimization/86628] Missed simplification of division

[david.bolvansky at gmail dot com]

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

--- Comment #2 from Dávid Bolvanský <david.bolvansky at gmail dot com> ---
Something/0 is undefined behaviour