projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f9f247) | patch
tree-dfa.c (refs_may_alias_p): Exit early if possible.
authorRichard Guenther <rguenther@suse.de>
Thu, 22 May 2008 10:32:55 +0000 (10:32 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 22 May 2008 10:32:55 +0000 (10:32 +0000)
commit1842e4d44ec1023a2c7f74ccfae56a91f858d759
treec10b9f776be672e50cfb69db5d6ee71cb80cf2c5tree
parent3f9f247417d7704a6b7808ec14a4ab67d55e9f07commit | diff
tree-dfa.c (refs_may_alias_p): Exit early if possible.

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.

From-SVN: r135754
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/alias-18.c [new file with mode: 0644] blob
gcc/tree-dfa.c diff | blob | history
gcc/tree-ssa-loop-im.c diff | blob | history