https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71520
Thomas Schwinge <tschwinge at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |tschwinge at gcc dot gnu.org --- Comment #3 from Thomas Schwinge <tschwinge at gcc dot gnu.org> --- Out of interest, I've also started to look into GIMPLE_SWITCH issues a bit, at the end of last week (low priority for me, though). One of my test cases should be similar to the one you're addressing with your patch; will test.