From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 16 May 2019 21:45:34 +0000 (+0000)
Subject: 	PR c++/90484
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=de24e7c39d32865eeacf99758fa65c1d1760ac12;p=thirdparty%2Fgcc.git

	PR c++/90484
	* tree-ssa-scopedtables.c (equal_mem_array_ref_p): Don't assert that
	sz0 is equal to sz1, instead return false in that case.


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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 232a7d6546db..d8bed3a817d3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2019-05-16  Jakub Jelinek  <jakub@redhat.com>
 
+	PR c++/90484
+	* tree-ssa-scopedtables.c (equal_mem_array_ref_p): Don't assert that
+	sz0 is equal to sz1, instead return false in that case.
+
 	* omp-low.c (lower_rec_input_clauses): If OMP_CLAUSE_IF
 	has non-constant expression, force sctx.lane and use two
 	argument IFN_GOMP_SIMD_LANE instead of single argument.
diff --git a/gcc/tree-ssa-scopedtables.c b/gcc/tree-ssa-scopedtables.c
index 0614afc3be8d..e08e24dfcc1b 100644
--- a/gcc/tree-ssa-scopedtables.c
+++ b/gcc/tree-ssa-scopedtables.c
@@ -537,13 +537,10 @@ equal_mem_array_ref_p (tree t0, tree t1)
       || maybe_ne (sz1, max1))
     return false;
 
-  if (rev0 != rev1)
+  if (rev0 != rev1 || maybe_ne (sz0, sz1) || maybe_ne (off0, off1))
     return false;
 
-  /* Types were compatible, so this is a sanity check.  */
-  gcc_assert (known_eq (sz0, sz1));
-
-  return known_eq (off0, off1) && operand_equal_p (base0, base1, 0);
+  return operand_equal_p (base0, base1, 0);
 }
 
 /* Compare two hashable_expr structures for equivalence.  They are