https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112843
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Well, refining a range should be ok and I thought one would just flush caches somewheres, so that next time it can be computed in more detail. But, some local changes could be just temporary state until more code is updated and that will be necessarily in some inconsistent state. Anyway, I'm going to test my patch anyway because after thinking it through I think such updating is the least worse of those 3 options for the update in particular.
