[Bug tree-optimization/38895] missed type-based disambiguation

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-01-17 16:03 -------
Subject: Bug 38895

Author: rguenth
Date: Sat Jan 17 16:02:36 2009
New Revision: 143469

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143469
Log:
2009-01-17  Richard Guenther  <rguenther@suse.de>

        PR middle-end/13146
        PR tree-optimization/38895
        * tree-ssa-alias.c (same_type_for_tbaa): New helper function.
        (refs_may_alias_p): Use it.  Extend access path based disambiguation.

        * gcc.dg/tree-ssa/pr13146.c: New testcase.
        * gcc.dg/tree-ssa/pr38895.c: Likewise.
        * g++.dg/tree-ssa/pr13146.C: Likewise.

Added:
    branches/alias-improvements/gcc/testsuite/g++.dg/tree-ssa/pr13146.C
    branches/alias-improvements/gcc/testsuite/gcc.dg/tree-ssa/pr13146.c
    branches/alias-improvements/gcc/testsuite/gcc.dg/tree-ssa/pr38895.c
Modified:
    branches/alias-improvements/gcc/ChangeLog.alias
    branches/alias-improvements/gcc/tree-ssa-alias.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38895