From c5ab2fd47817b89703839f11c458ccba966cfd65 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Wed, 28 Oct 2015 17:35:15 +0100 Subject: [PATCH] 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 --- gcc/ChangeLog | 5 +++++ gcc/fold-const.c | 3 --- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cf33d45..dfe2bad 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-10-28 Jan Hubicka + + * fold-const.c (operand_equal_p): Do not verify that types are + compatible for MEM_REFs. + 2015-10-28 Richard Biener * gimple-match-head.c (gimple_simplify): Allow VECTOR_CSTs diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 016c0dd..71d72f1 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 -- 2.7.4