http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53364
--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-16 11:07:46 UTC --- This is aliasing_component_refs_p returning that *D.2309_15 does not alias MEM[(struct A *)&D.2249].m_x (This is *(struct B *)&D.2249 vs. *(struct A *)&D.2249) This is because this is a view-converted base but we don't detect that properly in indirect_ref_may_alias_decl_p. I have a patch.