https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107443
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |marxin at gcc dot gnu.org,
| |rguenth at gcc dot gnu.org
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think we simply "optimize" the switch instead of, like for the if, preserving
the range asserting side-effect until some point in the compilation.
Ideally switch conversion would turn the switch side-effect into a single if.
But I also think the testcase is somewhat artificial so I wonder if we
should worry here at all ...
