* expr.c (expand_assignment): When have varying-length object,

	make MEM a BLKmode.
	(expand_expr, case ADDR_EXPR): Use SAVE_EXPR_RTL after putting
	SAVE_EXPR stack in case we had a SUBREG.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2784e01..1d811e2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+Thu Jun 28 06:16:45 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+
+       * expr.c (expand_assignment): When have varying-length object,
+       make MEM a BLKmode.
+       (expand_expr, case ADDR_EXPR): Use SAVE_EXPR_RTL after putting
+       SAVE_EXPR stack in case we had a SUBREG.
+
 Thu Jun 28 10:31:06 CEST 2001  Jan Hubicka  <jh@suse.cz>
 
        * i386.md (cmp?i): Simplify; refuse immediate operand

diff --git a/gcc/expr.c b/gcc/expr.c
index 4031cab..c5276f2 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -3810,7 +3810,7 @@ expand_assignment (to, from, want_value, suggest_reg)
          unsigned int from_align;
          rtx from_rtx = expand_expr_unaligned (from, &from_align);
          rtx inner_to_rtx
-           = change_address (to_rtx, VOIDmode,
+           = change_address (to_rtx, BLKmode,
                              plus_constant (XEXP (to_rtx, 0),
                                             bitpos / BITS_PER_UNIT));
 
@@ -7039,7 +7039,10 @@ expand_expr (exp, target, tmode, modifier)
                /* If the operand is a SAVE_EXPR, we can deal with this by
                   forcing the SAVE_EXPR into memory.  */
                if (TREE_CODE (TREE_OPERAND (exp, 0)) == SAVE_EXPR)
-                 put_var_into_stack (TREE_OPERAND (exp, 0));
+                 {
+                   put_var_into_stack (TREE_OPERAND (exp, 0));
+                   op0 = SAVE_EXPR_RTL (TREE_OPERAND (exp, 0));
+                 }
                else
                  {
                    tree nt