[Bug tree-optimization/116224] wrong code with _BitInt() division at -O1 and above (breaks in ccp2?)

[jakub at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This feels like a bug in mul_internal, when trying to evaluate wi::mul of
(_BitInt(65)) -15 times (_BitInt(65)) -15 it computes the right result (225)
but sets *overflow to wi::OVF_UNKNOWN.