[Bug fortran/57696] Defined assignment for components not used when those are ALLOCATABLE

[Bug fortran/57696] Defined assignment for components not used when those are ALLOCATABLE

[burnus at gcc dot gnu.org]

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
>From Fortran 2008, "7.2.1.3 Interpretation of intrinsic assignments", paragraph
13 (excerpt):

"For a noncoarray allocatable component the following sequence of operations is
applied.
(1) If the component of the variable is allocated, it is deallocated.
(2) If the component of the value of expr is allocated, the corresponding
    component of the variable is allocated with the same dynamic type and type
    parameters as the component of the value of expr. If it is an array, it is
    allocated with the same bounds. The value of the component of the value of
    expr is then assigned to the corresponding component of the variable using
    defined assignment if the declared type of the component has a type-bound
    defined assignment consistent with the component, and intrinsic assignment
    for the dynamic type of that component otherwise."

[Bug fortran/57696] Defined assignment for components not used when those are ALLOCATABLE

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-06-24
     Ever confirmed|0                           |1

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Confirmed.

[Bug fortran/57696] [F03] Defined assignment for components not used when those are ALLOCATABLE

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janus at gcc dot gnu.org
            Summary|Defined assignment for      |[F03] Defined assignment
                   |components not used when    |for components not used
                   |those are ALLOCATABLE       |when those are ALLOCATABLE

--- Comment #3 from janus at gcc dot gnu.org ---
Related to PR 46897, I guess. The difference is that we are dealing with
ALLOCATABLE components here.

[Bug fortran/57696] [OOP] Defined assignment for components not used when those are ALLOCATABLE

[burnus at gcc dot gnu.org]

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

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> ---
See also PR 57697; the a similar needs to be also addressed when fixing this
bug, namely the case that for:
  var.foo.bar
"foo" is NULL/unallocated while "bar" appears in the defined assignment.

See also PR46897 for another missing feature.