2016-06-13 Richard Biener <rguenther@suse.de>

	PR tree-optimization/71505
	* tree-vect-data-refs.c (vect_analyze_data_ref_accesses): Make
	assert match comment.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ae42dc986223e694e9a2df8feb0aaa6c1cdd5e6a..fbd985b01b399469abe041877265968fbe63056e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-06-13  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/71505
+       * tree-vect-data-refs.c (vect_analyze_data_ref_accesses): Make
+       assert match comment.
+
 2016-06-13  Marek Polacek  <polacek@redhat.com>
 
        PR middle-end/71476

diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c
index e640bbda790858796fdd03134662b5534f8b4218..084469f2afe361f2ba1e34d174bd36f1956f44e5 100644 (file)
--- a/gcc/tree-vect-data-refs.c
+++ b/gcc/tree-vect-data-refs.c
@@ -2752,7 +2752,7 @@ vect_analyze_data_ref_accesses (vec_info *vinfo)
          /* Sorting has ensured that DR_INIT (dra) <= DR_INIT (drb).  */
          HOST_WIDE_INT init_a = TREE_INT_CST_LOW (DR_INIT (dra));
          HOST_WIDE_INT init_b = TREE_INT_CST_LOW (DR_INIT (drb));
-         gcc_assert (init_a < init_b);
+         gcc_assert (init_a <= init_b);
 
          /* If init_b == init_a + the size of the type * k, we have an
             interleaving, and DRA is accessed before DRB.  */