>But surely it should be smart enough to know they don't alias? I am currently working to make the alias analysis more smart. :) After that GCC will be able to figure out that a[4] and a[1] do not alias. --Sanjiv