https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78507
--- Comment #4 from amker at gcc dot gnu.org --- Types of @2/@3 are guarded by INTEGER_CST@2/INTEGER_CST@3, but type of @1 is not checked. Should check INTEGRAL_TYPE_P for it before calling int_fits_type_p.