alias.c (memrefs_conflict_p): Distinguish must-alias from don't know.

[gcc.git] / gcc / ChangeLog

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5fad55c2da615ab855dabe27150891a7bf96300c..83879235ca0bc0e60124c5920f4b9e2e95752a2f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+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.
+
 2010-02-16  Alexandre Oliva  <aoliva@redhat.com>
 
        * params.def (PARAM_MAX_VARTRACK_SIZE): New.