https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83072
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- The testcase is now optimized early during evrp after r255201. We still don't record temporary ranges in SSA range info but we can perform the unreachable () trick VRP has.