https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84251
--- Comment #18 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Seems like we could use the range while doing the expansion even? Or some how mark the EQ_EXPR as not having to worry about NANs here during VRP.