https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71699
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- >if (ANY_INTEGRAL_TYPE_P (type) && TYPE_OVERFLOW_UNDEFINED (type)) That is false for pointer types. Because ANY_INTEGRAL_TYPE_P is false for pointer types.