From: hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 28 Oct 2015 16:35:15 +0000 (+0000)
Subject: 	* fold-const.c (operand_equal_p): Do not verify that types are
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=93182daeb14e34045324299014949ebfd7c160cb;p=thirdparty%2Fgcc.git

	* fold-const.c (operand_equal_p): Do not verify that types are
	compatible for MEM_REFs.


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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cf33d453ef70..dfe2bad37fe8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-10-28  Jan Hubicka  <hubicka@ucw.cz>
+
+	* fold-const.c (operand_equal_p): Do not verify that types are
+	compatible for MEM_REFs.
+
 2015-10-28  Richard Biener  <rguenther@suse.de>
 
 	* gimple-match-head.c (gimple_simplify): Allow VECTOR_CSTs
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 016c0dd91818..71d72f19ece0 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -2968,9 +2968,6 @@ operand_equal_p (const_tree arg0, const_tree arg1, unsigned int flags)
 					   TYPE_SIZE (TREE_TYPE (arg1)),
 					   flags)))
 		return 0;
-	      /* Verify that access happens in similar types.  */
-	      if (!types_compatible_p (TREE_TYPE (arg0), TREE_TYPE (arg1)))
-		return 0;
 	      /* Verify that accesses are TBAA compatible.  */
 	      if (flag_strict_aliasing
 		  && (!alias_ptr_types_compatible_p