https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114121
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Could we for lookups if range isn't a subset of the found range pretend there was not a match, try to see through definitions again and only if it yields an equivalent result value range it the same? Perhaps even remember the range used in it and in case we find non-subset lookup having the same result union the remembered range?
