expr.c (expand_expr_real_1): If a temporary is made and the reference doesn't use...

	* 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.

From-SVN: r122014

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cb41a5d4f120ccee6d33c433768d545078e621d9..9ad61e22128e5b60eb2dd696826d4a4863dbf0cf 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 09a67891eef8b3fb95b260d3d50c9052e0930ad0..42cb253e72e1cc56d1e9767079a1790c1a11edbd 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);