https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112509
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>: https://gcc.gnu.org/g:8f331be42991aa4d58ac770faf993accfcce882b commit r14-5449-g8f331be42991aa4d58ac770faf993accfcce882b Author: Andrew MacLeod <amacl...@redhat.com> Date: Mon Nov 13 09:58:10 2023 -0500 Use case label type to create case range. Create a range from the label type, and cast it to the required type. PR tree-optimization/112509 gcc/ * tree-vrp.cc (find_case_label_range): Create range from case labels. gcc/testsuite/ * gcc.dg/pr112509.c: New.