alias.c (memrefs_conflict_p): Distinguish must-alias from don't know.
authorRichard Guenther <rguenther@suse.de>
Tue, 16 Feb 2010 10:01:51 +0000 (10:01 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 16 Feb 2010 10:01:51 +0000 (10:01 +0000)
commitf47e08d97a42b58e87bb4edaaa7889743c064b54
tree0832d31463edaca75ce0c6fd27a925217d7df290
parent7bc19392e5caab29d0607163a021286c5ed4a859
alias.c (memrefs_conflict_p): Distinguish must-alias from don't know.

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.

From-SVN: r156797
gcc/ChangeLog
gcc/alias.c