------- Comment #2 from amonakov at gcc dot gnu dot org 2009-08-19 16:26 ------- (In reply to comment #1) > I wonder why the alias analysis improvements by Li do not assign > different alias sets for "a" and "b" in this case. I will have to try > to reproduce this bug first.
Assigning different alias sets would mean that a[i] and b[j] do not alias for all i and j, which is not desirable either. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41118