> PR ipa/61886
> PR middle-end/25140
> * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Usecompare_base_decls
> (nonoverlapping_component_refs_of_decl_p): Update sanity check.
> (decl_refs_may_alias_p): Use compare_base_decls.
> * alias.c: Include cgraph.h
> (rtx_equal_for_memref_p): Use rtx_equal_for_memref_p.
> (compare_base_decls): New function.
> (base_alias_check): Likewise.
> (memrefs_conflict_p): Likewise.
> (nonoverlapping_memrefs_p): Likewise.
> * alias.h (compare_base_decls): Declare.
The installed patch also contains the cut-off for the Ada testcases, so I have
added the following line to the ChangeLong:
(get_alias_set): Add cut-off for recursion.
and installed the Ada testcases:
* gnat.dg/specs/access1.ads: New test.
* gnat.dg/specs/access2.ads: Likewise.
Thanks for quickly fixing the issue!
--
Eric Botcazou
