* expr.c (expand_expr_real_1) <normal_inner_ref>: If a temporary

	is made and the reference doesn't use the alias set of its type,
	do not create the temporary using that type.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cb41a5d..9ad61e2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-02-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * expr.c (expand_expr_real_1) <normal_inner_ref>: If a temporary
+       is made and the reference doesn't use the alias set of its type,
+       do not create the temporary using that type.
+
 2007-02-15  Aldy Hernandez  <aldyh@redhat.com>
 
        * jump.c: Remove prototypes for delete_computation and

diff --git a/gcc/expr.c b/gcc/expr.c
index 09a6789..42cb253 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -7711,9 +7711,18 @@ expand_expr_real_1 (tree exp, rtx target, enum machine_mode tmode,
               necessarily be constant.  */
            if (mode == BLKmode)
              {
-               rtx new
-                 = assign_stack_temp_for_type
-                   (ext_mode, GET_MODE_BITSIZE (ext_mode), 0, type);
+               HOST_WIDE_INT size = GET_MODE_BITSIZE (ext_mode);
+               rtx new;
+
+               /* If the reference doesn't use the alias set of its type,
+                  we cannot create the temporary using that type.  */
+               if (component_uses_parent_alias_set (exp))
+                 {
+                   new = assign_stack_local (ext_mode, size, 0);
+                   set_mem_alias_set (new, get_alias_set (exp));
+                 }
+               else
+                 new = assign_stack_temp_for_type (ext_mode, size, 0, type);
 
                emit_move_insn (new, op0);
                op0 = copy_rtx (new);