https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101162
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:92d9c9e705f039f42734139c233202888d2bf01b commit r12-1726-g92d9c9e705f039f42734139c233202888d2bf01b Author: Jakub Jelinek <ja...@redhat.com> Date: Tue Jun 22 15:20:14 2021 +0200 fold-const: Return corresponding integral type for OFFSET_TYPE in range_check_type [PR101162] Andrew's recent r12-1608-g2f1686ff70b25fceb04ca2ffc0a450fb682913ef change to fail verification on various unary and binary operations with OFFSET_TYPE revealed that e.g. switchconv happily performs multiplications and additions in OFFSET_TYPE. 2021-06-22 Jakub Jelinek <ja...@redhat.com> Andrew Pinski <apin...@marvell.com> PR tree-optimization/101162 * fold-const.c (range_check_type): Handle OFFSET_TYPE like pointer types. * g++.dg/opt/pr101162.C: New test.