------- Comment #9 from amonakov at gcc dot gnu dot org 2010-07-20 08:25 ------- It's probably worth noting that the disambiguated MEMs are of different widths:
> load from "(mem/c/i:DI (reg/f:DI 14 r14 [351]) [2 t+8 S8 A64])" > store to "(mem/s/j/c:SI (reg/f:DI 15 r15 [343]) [2 t+4 S4 A32])" (btw, IIUC the above mems do not alias indeed, and the problem is in disambiguating the above store and a load from (mem/c/i:DI (post_inc:DI (reg/f:DI 14 r14 [351])) [2 t+0 S8 A128]) ) Also, with -fno-strict-aliasing the failure vanishes. -- amonakov at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amonakov at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43494