diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2015-10-28 17:35:15 +0100 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2015-10-28 16:35:15 +0000 |
| commit | c5ab2fd47817b89703839f11c458ccba966cfd65 (patch) | |
| tree | f8a5deb0aecd97b36f6e567bc3ad649f165beb30 | |
| parent | fe4ed7b1e8ee8b6df26f92308ebce623258c4cc0 (diff) | |
| download | gcc-c5ab2fd47817b89703839f11c458ccba966cfd65.zip gcc-c5ab2fd47817b89703839f11c458ccba966cfd65.tar.gz gcc-c5ab2fd47817b89703839f11c458ccba966cfd65.tar.bz2 | |
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
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | 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 <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 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 |