re PR c/5482 (cyclone-0.2, ICE in emit_move_insn, at expr.c:2746)

	PR c/5482:
	* c-common.c (c_expand_expr) [STMT_EXPR]: If last expression is not
	EXPR_STMT, but COMPOUND_STMT, recurse into it.

	* gcc.c-torture/execute/20020206-1.c: New test.

From-SVN: r49549

1 files changed, 22 insertions, 12 deletions

diff --git a/gcc/c-common.c b/gcc/c-common.c
index bbccf4a..dd535ed 100644
--- a/gcc/c-common.c
+++ b/gcc/c-common.c
@@ -3466,22 +3466,32 @@ c_expand_expr (exp, target, tmode, modifier)
 
 	/* If we want the result of this expression, find the last
            EXPR_STMT in the COMPOUND_STMT and mark it as addressable.  */
-	if (target != const0_rtx
-	    && TREE_CODE (STMT_EXPR_STMT (exp)) == COMPOUND_STMT
-	    && TREE_CODE (COMPOUND_BODY (STMT_EXPR_STMT (exp))) == SCOPE_STMT)
+	if (target != const0_rtx)
 	  {
-	    tree expr = COMPOUND_BODY (STMT_EXPR_STMT (exp));
-	    tree last = TREE_CHAIN (expr);
+	    tree expr = STMT_EXPR_STMT (exp);
+	    tree last;
 
-	    while (TREE_CHAIN (last))
+	    while (TREE_CODE (expr) == COMPOUND_STMT
+		   && TREE_CODE (COMPOUND_BODY (expr)) == SCOPE_STMT)
 	      {
-		expr = last;
-		last = TREE_CHAIN (last);
+		expr = COMPOUND_BODY (expr);
+		last = TREE_CHAIN (expr);
+
+		while (TREE_CHAIN (last))
+		  {
+		    expr = last;
+		    last = TREE_CHAIN (last);
+		  }
+
+		if (TREE_CODE (last) != SCOPE_STMT)
+		  abort ();
+
+		if (TREE_CODE (expr) == EXPR_STMT)
+		  {
+		    TREE_ADDRESSABLE (expr) = 1;
+		    break;
+		  }
 	      }
-
-	    if (TREE_CODE (last) == SCOPE_STMT
-		&& TREE_CODE (expr) == EXPR_STMT)
-	      TREE_ADDRESSABLE (expr) = 1;
 	  }
 
 	expand_stmt (STMT_EXPR_STMT (exp));