https://gcc.gnu.org/bugzilla/show_bug.cgi?id=73550
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu.org
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Note the main issue is that we don't handle the case where an edge from a
switch reaches a case with more than a single case value. There's a
representational
issue here in the predicate analysis code - one would think that amending it
with a new "kind" implementing a falls-in-range operation and recording an
irange (but conservative precise or lose depending on who is asking, so maybe
better "exact") would be a good fix, possibly also handling range checking in
general this way.
