2009-05-04 Richard Guenther <rguenther@suse.de>

	PR middle-end/40015
	* builtins.c (fold_builtin_memory_op): Do not decay to element
	type if the size matches the whole array.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dcc0070..8b4433f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-05-04  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/40015
+       * builtins.c (fold_builtin_memory_op): Do not decay to element
+       type if the size matches the whole array.
+
 2009-05-04  Kazu Hirata  <kazu@codesourcery.com>
 
        * expmed.c (synth_mult): When trying out a shift, pass the result

diff --git a/gcc/builtins.c b/gcc/builtins.c
index e3c91dc..0436229 100644 (file)
--- a/gcc/builtins.c
+++ b/gcc/builtins.c
@@ -8970,7 +8970,8 @@ fold_builtin_memory_op (tree dest, tree src, tree len, tree type, bool ignore, i
        }
       srctype = TREE_TYPE (TREE_TYPE (src));
       if (srctype
-         && TREE_CODE (srctype) == ARRAY_TYPE)
+         && TREE_CODE (srctype) == ARRAY_TYPE
+         && !tree_int_cst_equal (TYPE_SIZE_UNIT (srctype), len))
        {
          srctype = TREE_TYPE (srctype);
          STRIP_NOPS (src);
@@ -8978,7 +8979,8 @@ fold_builtin_memory_op (tree dest, tree src, tree len, tree type, bool ignore, i
        }
       desttype = TREE_TYPE (TREE_TYPE (dest));
       if (desttype
-         && TREE_CODE (desttype) == ARRAY_TYPE)
+         && TREE_CODE (desttype) == ARRAY_TYPE
+         && !tree_int_cst_equal (TYPE_SIZE_UNIT (desttype), len))
        {
          desttype = TREE_TYPE (desttype);
          STRIP_NOPS (dest);