diff options
| author | Paul Thomas <pault@gcc.gnu.org> | 2009-06-19 21:58:27 +0000 |
|---|---|---|
| committer | Paul Thomas <pault@gcc.gnu.org> | 2009-06-19 21:58:27 +0000 |
| commit | 47f71eb95c205984d1717a8e20181c9fe67cf109 (patch) | |
| tree | 25cce1767c043508102a8305bca778fcf01421fb | |
| parent | 6569d386e28bb84135413af40c470d238a7fea54 (diff) | |
| download | gcc-47f71eb95c205984d1717a8e20181c9fe67cf109.zip gcc-47f71eb95c205984d1717a8e20181c9fe67cf109.tar.gz gcc-47f71eb95c205984d1717a8e20181c9fe67cf109.tar.bz2 | |
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
| -rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fortran/trans-expr.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/alloc_comp_result_2.f90 | 28 |
4 files changed, 40 insertions, 0 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 911e143..c38b91a 100644 --- 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 d363e6d..f79ad4b 100644 --- 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 e7621a7..dcc2e53 100644 --- 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 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 |