utils2.c (build_call_alloc_dealloc): Do not substitute placeholder expressions here...

	* gcc-interface/utils2.c (build_call_alloc_dealloc): Do not substitute
	placeholder expressions here but...
	* gcc-interface/trans.c (gnat_to_gnu) <N_Free_Statement>: ...here.
	Make an exception to the protection of a CALL_EXPR result with an
	unconstrained type only in the same cases as Call_to_gnu.

From-SVN: r237125

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a958655efe38c67bd078dcd2ae4b07dffd704e7c..f4ce3153aed943733d5e025e045110705b71c366 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,11 @@
+2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/utils2.c (build_call_alloc_dealloc): Do not substitute
+       placeholder expressions here but...
+       * gcc-interface/trans.c (gnat_to_gnu) <N_Free_Statement>: ...here.
+       Make an exception to the protection of a CALL_EXPR result with an
+       unconstrained type only in the same cases as Call_to_gnu.
+
 2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/trans.c (gnat_to_gnu): Rework special code dealing

diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c
index d0071d39e55c5aa5c8d18561b5a1b7052618c8c1..5f4d3a633521a5fe9d4a7290d1253f891ce5d0ba 100644 (file)
--- a/gcc/ada/gcc-interface/trans.c
+++ b/gcc/ada/gcc-interface/trans.c
@@ -7640,10 +7640,11 @@ gnat_to_gnu (Node_Id gnat_node)
          else
            gnu_actual_obj_type = gnu_obj_type;
 
+         tree gnu_size = TYPE_SIZE_UNIT (gnu_actual_obj_type);
+         gnu_size = SUBSTITUTE_PLACEHOLDER_IN_EXPR (gnu_size, gnu_ptr);
+
          gnu_result
-             = build_call_alloc_dealloc (gnu_ptr,
-                                         TYPE_SIZE_UNIT (gnu_actual_obj_type),
-                                         gnu_obj_type,
+             = build_call_alloc_dealloc (gnu_ptr, gnu_size, gnu_obj_type,
                                          Procedure_To_Call (gnat_node),
                                          Storage_Pool (gnat_node),
                                          gnat_node);
@@ -7729,16 +7730,22 @@ gnat_to_gnu (Node_Id gnat_node)
                                    N_Raise_Constraint_Error));
     }
 
-  /* If the result has side-effects and is of an unconstrained type, make a
-     SAVE_EXPR so that we can be sure it will only be referenced once.  But
-     this is useless for a call to a function that returns an unconstrained
-     type with default discriminant, as we cannot compute the size of the
-     actual returned object.  We must do this before any conversions.  */
+  /* If the result has side-effects and is of an unconstrained type, protect
+     the expression in case it will be referenced multiple times, i.e. for
+     its value and to compute the size of an object.  But do it neither for
+     an object nor a renaming declaration, nor a return statement of a call
+     to a function that returns an unconstrained record type with default
+     discriminant, because there is no size to be computed in these cases
+     and this will create a useless temporary.  We must do this before any
+     conversions.  */
   if (TREE_SIDE_EFFECTS (gnu_result)
-      && !(TREE_CODE (gnu_result) == CALL_EXPR
-          && type_is_padding_self_referential (TREE_TYPE (gnu_result)))
       && (TREE_CODE (gnu_result_type) == UNCONSTRAINED_ARRAY_TYPE
-         || CONTAINS_PLACEHOLDER_P (TYPE_SIZE (gnu_result_type))))
+         || CONTAINS_PLACEHOLDER_P (TYPE_SIZE (gnu_result_type)))
+      && !(TREE_CODE (gnu_result) == CALL_EXPR
+          && type_is_padding_self_referential (TREE_TYPE (gnu_result))
+          && (Nkind (Parent (gnat_node)) == N_Object_Declaration
+              || Nkind (Parent (gnat_node)) == N_Object_Renaming_Declaration
+              || Nkind (Parent (gnat_node)) == N_Simple_Return_Statement)))
     gnu_result = gnat_protect_expr (gnu_result);
 
   /* Now convert the result to the result type, unless we are in one of the

diff --git a/gcc/ada/gcc-interface/utils2.c b/gcc/ada/gcc-interface/utils2.c
index 67799df429e4bb2c19fda5d8425a503a99471b00..a0804e8e86dfb7d0cc5c3d3ad656fa42085ca6ad 100644 (file)
--- a/gcc/ada/gcc-interface/utils2.c
+++ b/gcc/ada/gcc-interface/utils2.c
@@ -2268,8 +2268,6 @@ build_call_alloc_dealloc (tree gnu_obj, tree gnu_size, tree gnu_type,
                           Entity_Id gnat_proc, Entity_Id gnat_pool,
                           Node_Id gnat_node)
 {
-  gnu_size = SUBSTITUTE_PLACEHOLDER_IN_EXPR (gnu_size, gnu_obj);
-
   /* Explicit proc to call ?  This one is assumed to deal with the type
      alignment constraints.  */
   if (Present (gnat_proc))