2008-05-22 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 22 May 2008 10:32:55 +0000 (10:32 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 22 May 2008 10:32:55 +0000 (10:32 +0000)
commit3391cd1e27032a35091c917a6dbc70b3c991230f
treec10b9f776be672e50cfb69db5d6ee71cb80cf2c5
parent0f06e5837fb619a1050715a76d1e0e688c4b2024
2008-05-22  Richard Guenther  <rguenther@suse.de>

* tree-dfa.c (refs_may_alias_p): Exit early if possible.  Handle
more cases of offset disambiguation that is possible if
strict-aliasing rules apply.
* tree-ssa-loop-im.c (mem_refs_may_alias_p): Use refs_may_alias_p
for basic offset and type-based disambiguation.

* gcc.dg/tree-ssa/alias-18.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135754 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/alias-18.c [new file with mode: 0644]
gcc/tree-dfa.c
gcc/tree-ssa-loop-im.c