------- Comment #41 from rguenth at gcc dot gnu dot org 2008-12-07 13:00 ------- There's not much to be done for aliasing - everything points to global memory and thus aliases. There may be some opportunities for offset-based disambiguations via pointers, but I didn't investigate in detail. Whoever wants someone to work on specific details needs to provide way shorter testcases ;)
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33928