------- Comment #3 from rguenth at gcc dot gnu dot org 2009-01-06 23:29 ------- No, the issue is that A.3 is not in gimple_addressable_vars () and thus is considered non-aliased. The easiest thing to do is to re-compute addressable vars after the vectorizer.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38721
