https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111683
--- Comment #24 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Richard Biener from comment #23) > It looks like this could go to suitable_reference_p instead? You mean return false for those making them not suitable at all? I thought without a write such references would act more like RS_ANY, but a reason I didn't just treat such references as RS_ANY rather than RS_NONZERO in suitable_reference_p was because of the assert that all refs in a component have the same ref_step_type but nothing actually comparing it before the assertion. But if you think I should just return false from suitable_reference_p if the step isn't a multiple of the sizes, I can surely try that. > That said, I do wonder why with my patch split_data_refs_to_components > doesn't fixup. I think it's supposed to handle the case where > dependences are unknown conservatively... I'm afraid I'm not familiar with data refs enough to know what was going on.
