re PR fortran/40440 (Automatic deallocation component of DT function return value)

2009-06-19  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/40440
	* trans-expr.c (gfc_conv_procedure_call): Do not deallocate
	allocatable components if the argument is a pointer.

2009-06-19  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/40440
	* gfortran.dg/alloc_comp_result_2.f90: New test.

From-SVN: r148731

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 911e14312c03322c9354f9cb63de31193009a153..c38b91ac6fd03c9561914580e25b01a16bad299e 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2009-06-19  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/40440
+       * trans-expr.c (gfc_conv_procedure_call): Do not deallocate
+       allocatable components if the argument is a pointer.
+
 2009-06-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
        * gfortran.h (gfc_expr): Use mpc_t to represent complex numbers.

diff --git a/gcc/fortran/trans-expr.c b/gcc/fortran/trans-expr.c
index d363e6d3d5a9058bbbb7b20e15c748bbc8e1967f..f79ad4b3cc7d8dfadee92ffff509f241fb28e3bd 100644 (file)
--- a/gcc/fortran/trans-expr.c
+++ b/gcc/fortran/trans-expr.c
@@ -2739,6 +2739,7 @@ gfc_conv_procedure_call (gfc_se * se, gfc_symbol * sym,
         dealt with in trans-array.c(gfc_conv_array_parameter).  */
       if (e && e->ts.type == BT_DERIVED
            && e->ts.derived->attr.alloc_comp
+           && !(e->symtree && e->symtree->n.sym->attr.pointer)
            && (e->expr_type != EXPR_VARIABLE && !e->rank))
         {
          int parm_rank;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e7621a71c60065698de7702275560dc9576c71bc..dcc2e53a5c48dbd2bf3f84d9c062f0a198fc7da1 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-06-19  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/40440
+       * gfortran.dg/alloc_comp_result_2.f90: New test.
+
 2009-06-19  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
 
        PR target/40482

diff --git a/gcc/testsuite/gfortran.dg/alloc_comp_result_2.f90 b/gcc/testsuite/gfortran.dg/alloc_comp_result_2.f90
new file mode 100644 (file)
index 0000000..be61f2a
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/alloc_comp_result_2.f90
@@ -0,0 +1,28 @@
+! { dg-do run }
+! Tests the fix for PR40440, in which gfortran tried to deallocate
+! the allocatable components of the actual argument of CALL SUB
+!
+! Contributed by Juergen Reuter <juergen.reuter@desy.de>
+! Reduced testcase from Tobias Burnus  <burnus@gcc.gnu.org> 
+!
+  implicit none
+  type t
+    integer, allocatable :: A(:)
+  end type t
+  type (t) :: arg
+  arg = t ([1,2,3])
+  call sub (func (arg))
+contains
+  function func (a)
+    type(t), pointer :: func
+    type(t), target :: a
+    integer, save :: i = 0
+    if (i /= 0) call abort ! multiple calls would cause this abort
+    i = i + 1
+    func => a
+  end function func
+  subroutine sub (a)
+    type(t), intent(IN), target :: a
+    if (any (a%A .ne. [1,2,3])) call abort
+  end subroutine sub
+end