http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45833
--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> 2010-09-29 22:05:35 UTC --- (In reply to comment #1) > Maybe data-dependency needs to be extended for this (two references either > identical, or non-overlapping). Correct. Data dep analysis should not return a "don't know" relation when the bases may overlap or cannot be analyzed, and then let the vectorizer decide whether vectorization is safe with overlapping bases. Probably we can have a flag in the ddr struct for the data dependence relations with bases that cannot be disentangled.