trans.c (gnat_to_gnu): Do not translate the Etype of the node before translating...

	* gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Do
	not translate the Etype of the node before translating the Actions.

From-SVN: r195368

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 263113b91e55bc62c4639559ae94a45f7414cf76..d6a579e02ff9584ff9f531ae7cc169397551eb95 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2013-01-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Do
+       not translate the Etype of the node before translating the Actions.
+
 2013-01-22  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_size

diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c
index 6bb2e5b2723d90d4f46a1d3ed23242782d0adfeb..1d25b0f94a181e358e76d7f9a167a01d5775402f 100644 (file)
--- a/gcc/ada/gcc-interface/trans.c
+++ b/gcc/ada/gcc-interface/trans.c
@@ -6810,7 +6810,6 @@ gnat_to_gnu (Node_Id gnat_node)
     /****************/
 
     case N_Expression_With_Actions:
-      gnu_result_type = get_unpadded_type (Etype (gnat_node));
       /* This construct doesn't define a scope so we don't wrap the statement
         list in a BIND_EXPR; however, we wrap it in a SAVE_EXPR to protect it
         from unsharing.  */
@@ -6820,6 +6819,7 @@ gnat_to_gnu (Node_Id gnat_node)
       gnu_expr = gnat_to_gnu (Expression (gnat_node));
       gnu_result
        = build_compound_expr (TREE_TYPE (gnu_expr), gnu_result, gnu_expr);
+      gnu_result_type = get_unpadded_type (Etype (gnat_node));
       break;
 
     case N_Freeze_Entity: