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

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

From-SVN: r229494

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cf33d453ef70f9c3773f0c6b97251db6c4379b39..dfe2bad37fe8e8e5b91349762eb13315a5a2d766 100644 (file)
--- 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 016c0dd918187a34eae73f7d85596cbc8ff0ae18..71d72f19ece0fa31bc3c1f496f9fbed285d35a7c 100644 (file)
--- 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