https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83164
--- Comment #11 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #9) > Created attachment 42810 [details] > gcc8-pr83164.patch Sorry, I shouldn't have taken this long. > So like this? It makes no sense to call types_compatible_p or 2x > useless_type_conversion_p if TYPE_MODE is different, because we know the > result - it will not be compatible. And anything else needs to be allowed > due to the propagation of pointers. This looks great!
