https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80974
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- During iteration 1 on some loop, we get Setting value number of i_10 to h_11 (changed) which becomes Setting value number of i_10 to i_10 (changed) in later iterations. But the call to set_ssa_val_to(i_10,h_11) overwrites the range info from h_11. That info is supposedly saved, but it doesn't seem to get restored properly.
