[Bug tree-optimization/103207] [12 Regression] ICE in verify_range, at value-range.cc:385 since r12-4766-g113dab2b9d511f3a

[aldyh at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103207

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
That is, is the overflowed 0 allowed in the switch's case?