expr.c (expand_assignment): When have varying-length object, make MEM a BLKmode.

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

From-SVN: r43637

gcc/ChangeLog

+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

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