http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48702
--- Comment #22 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-25 10:19:12 UTC --- Created attachment 24354 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24354 alternative patch for 4.6 This is another patch - it avoids creating MEM_REFs for base addresses that we do not know whether they are always in bounds of the object it points to. Instead we force the use of TARGET_MEM_REFs there and dumb down the alias oracle to not assume that base address is within bounds. Sounds like the most reasonable solution for 4.6 to me.