[Bug middle-end/25140] aliases, including weakref, break alias analysis

[hubicka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25140

--- Comment #16 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Author: hubicka
Date: Wed Dec  9 23:28:01 2015
New Revision: 231478

URL: https://gcc.gnu.org/viewcvs?rev=231478&root=gcc&view=rev
Log:

        PR ipa/61886
        PR middle-end/25140
        * tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Use compare_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.

        * gcc.c-torture/execute/alias-2.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/alias-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/alias.c
    trunk/gcc/alias.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-alias.c