------- Comment #1 from rguenth at gcc dot gnu dot org 2008-02-25 11:44 ------- Confirmed. MEM_REF might help here as we'd get
off_1 = IDX <0 + i * 8> MEM_REF <aa, off_1> and off_2 = IDX <4 + j * 8> MEM_REF <aa, off_2> where the alias-oracle should be able to see that the accesses cannot overlap. -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu dot | |org Severity|normal |enhancement Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Keywords| |alias, missed-optimization Last reconfirmed|0000-00-00 00:00:00 |2008-02-25 11:44:45 date| | Version|unknown |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35360