https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107732
--- Comment #1 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- Created attachment 53920 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53920&action=edit untested [PR tree-optimization/107732] [range-ops] Handle attempt to abs() negatives. The threader is creating a scenario where we are trying to solve: [NEGATIVES] = abs(x) While solving this we have an intermediate value of UNDEFINED because we have no positive numbers. But then we try to union the negative pair to the final result by querying the bounds. Since neither UNDEFINED nor NAN have bounds, they need to be specially handled.
