https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69376
--- Comment #8 from Bernd Schmidt <bernds at gcc dot gnu.org> --- Why not put this bit into range_info_def so as to not have the information scattered across two different places? Seems like it would be more robust and more readable.
