------- Comment #15 from victork at gcc dot gnu dot org 2008-03-25 10:47 ------- Just to make clear my previous comment. I think that it *is* possible that original code violates c/c++ aliasing rules, but the example given by Richard Guenther is not-vectorized since currently we do not vectorize structures with a single member. We may want to open a missed-optimization bug report, but this problem is not related to the possible bug in the subject. Actually, the possible problem rises only when we try enforce alignment using loop peeling. If we enforce alignment using loop versioning, a run-time check will discover misalignment and a non-vectorized version of loop will be executed.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35653
