https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78969
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I think there might be a dup of this bug already. basically VRP does a copy prop of where the assert was. get_range_info is not position sensitive so the range is gone after VRP.