https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70127
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 37895 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37895&action=edit gcc6-pr70127.patch Given this I think it is safest to restore the types_compatible_p check for initialize_data_dependence_relation (which has been done before inside of operand_equal_p). Perhaps for GCC 7 we might slightly change that, e.g. to do a less strict type compatibility comparison, but unless we stop adding access fn elements for ARRAY_REFs for single element arrays (but, what to do about trailing arrays that could be flexible-like) and for fields that cover the whole struct, we need to at least verify the same levels of ARRAY_TYPEs and same levels of RECORD_TYPEs with field decl covering the whole struct.