http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56965
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > In the end I'd like to get rid of nonoverlapping_component_refs_p by moving > it to the tree oracle (where there is a similar but less aggressive > aliasing_component_refs_p). No fundamental disagreement here, I already sort of initiated the process by adding nonoverlapping_component_refs_of_decl_p to tree-ssa-alias.c.
