[Bug tree-optimization/122617] `x >= 0 ? MIN : y` -> `(signed)MIN<(unsigned)x, (unsigned)y>` when y is known to be non-negative

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

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Found this while looking into
https://github.com/llvm/llvm-project/issues/167055 (but not exactly the same).