re PR ada/92362 (double elaboration of expression in Address aspect)

	PR ada/92362
	* gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>:
	Use a temporary instead of clobbering the result with a freeze node.

From-SVN: r278676

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1f13b9c06ab91d4004232620dc55893757a7028a..e2efd819c042c2e63658ef3e10911aa9538ece94 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2019-11-25  Eric Botcazou  <ebotcazou@adacore.com>
+
+       PR ada/92362
+       * gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>:
+       Use a temporary instead of clobbering the result with a freeze node.
+
 2019-11-25  Eric Botcazou  <ebotcazou@adacore.com>
 
        PR ada/92575

diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c
index f08f6aac330ea9217820326baab51c6ebeaf130c..2581b71d6fab7e1e9d6fd186ba03362aa7c3c5ae 100644 (file)
--- a/gcc/ada/gcc-interface/trans.c
+++ b/gcc/ada/gcc-interface/trans.c
@@ -8308,7 +8308,7 @@ gnat_to_gnu (Node_Id gnat_node)
       gnat_temp = Entity (Name (gnat_node));
       if (Freeze_Node (gnat_temp))
        {
-         tree gnu_address = gnat_to_gnu (Expression (gnat_node));
+         tree gnu_address = gnat_to_gnu (Expression (gnat_node)), gnu_temp;
 
          /* Get the value to use as the address and save it as the equivalent
             for the object; when it is frozen, gnat_to_gnu_entity will do the
@@ -8318,7 +8318,7 @@ gnat_to_gnu (Node_Id gnat_node)
             of the object is limited and it is initialized with the result of
             a function call.  */
          if (Is_Subprogram (gnat_temp))
-           gnu_result = gnu_address;
+           gnu_temp = gnu_address;
          else
            {
              tree gnu_type = gnat_to_gnu_type (Etype (gnat_temp));
@@ -8327,11 +8327,11 @@ gnat_to_gnu (Node_Id gnat_node)
              gnu_type
                = build_reference_type_for_mode (gnu_type, ptr_mode, true);
              gnu_address = convert (gnu_type, gnu_address);
-             gnu_result
+             gnu_temp
                = build_unary_op (INDIRECT_REF, NULL_TREE, gnu_address);
            }
 
-         save_gnu_tree (gnat_temp, gnu_result, true);
+         save_gnu_tree (gnat_temp, gnu_temp, true);
        }
       break;
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f3a8444820613edfa93eff12b8d267952aa286ba..c9e38713caaa5768cceb67672fe5e3fa783009ae 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2019-11-25  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/addr14.adb: New test.
+
 2019-11-21  Jakub Jelinek  <jakub@redhat.com>
 
        PR tree-optimization/91355

diff --git a/gcc/testsuite/gnat.dg/addr14.adb b/gcc/testsuite/gnat.dg/addr14.adb
new file mode 100644 (file)
index 0000000..e92c902
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/addr14.adb
@@ -0,0 +1,24 @@
+--  { dg-do run }
+
+with System;
+
+procedure Addr14 is
+
+  type Arr is array (1 .. 4) of aliased Integer;
+
+  A : Arr := (1, 2, 3, 4);
+  I : Natural := 0;
+
+  function Get_Address return System.Address is
+  begin
+    I := I + 1;
+    return A(I)'Address;
+  end;
+
+  Foo : Integer with Address => Get_Address;
+
+begin
+  if Foo /= 1 then
+    raise Program_Error;
+  end if;
+end;