[Bug fortran/25217] New: Derived type dummy argument having intent(out) attribute

[Bug fortran/25217] New: Derived type dummy argument having intent(out) attribute

[sudeshc at noida dot hcltech dot com]

1. There is a procedure (function/subroutine) call. A variable of derived type
is passed as actual argument to this procedure. One of the components of
derived type is default initialized.
2. Corresponding dummy argument has INTENT(OUT) attribute. 

When above two conditions are satisfied then according if dummy argument is
accessed in procedure it should be default initialized. But this is NOT the
behaviour of gfortran. 

e.g. consider following example

program main
type drv
integer::a(10)=10
end type drv
type (drv)::aa
aa%a=100
ret=fun(aa)
contains
function fun(fa)
type (drv),intent(out)::fa !---------(A) integer::fun print *,fa%a
fun=fa%a(1)
end function fun
end

Please see line marked (A). Here "fa" should be reinitialized to default value
10. But this is not happening in gfortran.


-- 
           Summary: Derived type dummy argument having intent(out) attribute
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sudeshc at noida dot hcltech dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[eedelman at gcc dot gnu dot org]

------- Comment #1 from eedelman at gcc dot gnu dot org  2005-12-02 19:28 -------
Confirmed.


-- 

eedelman at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |eedelman at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-12-02 19:28:17
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2006-07-09 07:48 -------
To quote from the F95 June 97 working draft, note 12.17:

"Because an INTENT(OUT) variable is considered undefined on entry to the
procedure, any default initialization specified for its type will be applied."

Of the fortran bugs we have, this is one of the more serious bugs.


-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2005-12-02 19:28:17         |2006-07-09 07:48:40
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[eedelman at gcc dot gnu dot org]

-- 

eedelman at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |eedelman at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-07-09 07:48:40         |2006-07-18 18:28:21
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[patchapp at dberlin dot org]

------- Comment #3 from patchapp at dberlin dot org  2006-07-18 20:40 -------
Subject: Bug number PR 25217

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-07/msg00796.html


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[eedelman at gcc dot gnu dot org]

------- Comment #4 from eedelman at gcc dot gnu dot org  2006-08-19 21:06 -------
Subject: Bug 25217

Author: eedelman
Date: Sat Aug 19 21:05:59 2006
New Revision: 116261

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116261
Log:
fortran/
2006-08-19  Erik Edelmann  <eedelman@gcc.gnu.org>

        PR fortran/25217
        * resolve.c (resolve_fl_variable): Set a default initializer for
        derived types with INTENT(OUT) even if 'flag' is true.
        * trans-expr.c (gfc_conv_function_call): Insert code to
        reinitialize INTENT(OUT) arguments of derived type with default
        initializers.


testsuite/
2006-08-19  Erik Edelmann  <eedelman@gcc.gnu.org>

        PR fortran/25217
        * gfortran.dg/derived_init_2.f90: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/derived_init_2.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[eedelman at gcc dot gnu dot org]

------- Comment #5 from eedelman at gcc dot gnu dot org  2006-08-19 21:31 -------
Subject: Bug 25217

Author: eedelman
Date: Sat Aug 19 21:31:47 2006
New Revision: 116262

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116262
Log:
fortran/
2006-08-20  Erik Edelmann  <eedelman@gcc.gnu.org>

        PR fortran/25217
        * resolve.c (resolve_fl_variable): Set a default initializer for
        derived types with INTENT(OUT) even if 'flag' is true.
        * trans-expr.c (gfc_conv_function_call): Insert code to
        reinitialize INTENT(OUT) arguments of derived type with default
        initializers.


testsuite/
2006-08-20  Erik Edelmann  <eedelman@gcc.gnu.org>

        PR fortran/25217
        * gfortran.dg/derived_init_2.f90: New.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/derived_init_2.f90
Modified:
    branches/gcc-4_1-branch/gcc/fortran/ChangeLog
    branches/gcc-4_1-branch/gcc/fortran/resolve.c
    branches/gcc-4_1-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[steven at gcc dot gnu dot org]

------- Comment #6 from steven at gcc dot gnu dot org  2006-08-20 00:46 -------
Eric, can this bug be closed as FIXED now?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217

[Bug fortran/25217] Derived type dummy argument having intent(out) attribute

[eedelman at gcc dot gnu dot org]

------- Comment #7 from eedelman at gcc dot gnu dot org  2006-08-20 16:24 -------
(In reply to comment #6)
> Eric, can this bug be closed as FIXED now?
> 

Yes, I would say so.


-- 

eedelman at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25217