[Bug tree-optimization/64130] vrp: handle non zero constant divided by range cannot be zero.

[glisse at gcc dot gnu.org]

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

--- Comment #9 from Marc Glisse <glisse at gcc dot gnu.org> ---
Forget comment #8, it can introduce abs(INT_MIN) which would be bad.