2010-02-16 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 16 Feb 2010 10:01:51 +0000 (10:01 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 16 Feb 2010 10:01:51 +0000 (10:01 +0000)
commit40f9e245ee4986ab7dd13df3c0a480437a564810
tree0832d31463edaca75ce0c6fd27a925217d7df290
parentcd584ef87c4d4e8308e135adbe6bcea2dcaec489
2010-02-16  Richard Guenther  <rguenther@suse.de>

* alias.c (memrefs_conflict_p): Distinguish must-alias from
don't know.
(true_dependence): If memrefs_conflict_p computes must-alias
trust it.  Move TBAA check after offset-based disambiguation.
(canon_true_dependence): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156797 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/alias.c