https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96818
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Judging from what other passes do with gimple switches and especially what the tree-cfg.c switch verifier checks, the only requirement is that the index as well as CASE_LOW/HIGH types are integral, all case label values (low/high) have the same type and that the precision of the index type is >= precision of the case label value type.
