https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119792
--- Comment #9 from uecker at gcc dot gnu.org --- If the problem is that useless_type_conversion_p should not return true for certain types with the same TYPE_CANONICAL, shouldn't we simply add back the test for the size of the FAM here to useless_type_conversion_p?