[Bug tree-optimization/128292] [14/15/16 Regression] wrong code at -O2: fabs() ignored on negative value in tree-vrp

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

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

--- Comment #6 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Drea Pinski from comment #5)
> Though I do think we have a missing optimization in the first place.  The
> ABS_EXPR for res_* should have been removed in the first place but currently
> is not because of the NaN in x_12  which can't show up.

Oh that is a pass order issue.  So never mind.