Use target_expr based stabilize in build_struct_comparison

Author: ibuclaw

gcc/d/d-codegen.cc

@@ -587,6 +587,16 @@ stabilize_expr2 (tree *valuep)
       || VOID_TYPE_P (TREE_TYPE (expr)))
     return NULL_TREE;
 
+  /* Stabilize only the right hand side of compound expressions.  */
+  if (TREE_CODE (expr) == COMPOUND_EXPR)
+    {
+      tree lhs = TREE_OPERAND (expr, 0);
+      tree rhs = TREE_OPERAND (expr, 1);
+      lhs = compound_expr (lhs, stabilize_expr2 (&rhs));
+      *valuep = rhs;
+      return lhs;
+    }
+
   tree init = force_target_expr (expr);
   *valuep = TARGET_EXPR_SLOT (init);
 
@@ -929,13 +939,10 @@ build_struct_comparison (tree_code code, StructDeclaration *sd,
     return build_boolop (code, integer_zero_node, integer_zero_node);
 
   /* Make temporaries to prevent multiple evaluations.  */
-  tree t1init = stabilize_expr (&t1);
-  tree t2init = stabilize_expr (&t2);
+  tree t1init = stabilize_expr2 (&t1);
+  tree t2init = stabilize_expr2 (&t2);
   tree result;
 
-  t1 = d_save_expr (t1);
-  t2 = d_save_expr (t2);
-
   /* Bitwise comparison of structs not returned in memory may not work
      due to data holes loosing its zero padding upon return.
      As a heuristic, small structs are not compared using memcmp either.  */
@@ -1337,6 +1344,12 @@ component_ref (tree object, tree field)
   if (error_operand_p (object) || error_operand_p (field))
     return error_mark_node;
 
+  if (TREE_CODE (object) == COMPOUND_EXPR)
+    {
+      tree result = component_ref (TREE_OPERAND (object, 1), field);
+      return compound_expr (TREE_OPERAND (object, 0), result);
+    }
+
   gcc_assert (TREE_CODE (field) == FIELD_DECL);
 
   /* If the FIELD is from an anonymous aggregate, generate a reference