https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110618
Bug ID: 110618
Summary: Dependency between arguments when one is allocatable
array whose dummy is intent(out)
Product: gcc
Version: 11.4.1
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: mikael at gcc dot gnu.org
CC: abensonca at gcc dot gnu.org, anlauf at gcc dot gnu.org,
burnus at gcc dot gnu.org, kargl at gcc dot gnu.org,
vladimir.fuka at gmail dot com
Depends on: 92178
Blocks: 87142
Target Milestone: ---
+++ This bug was initially created as a clone of Bug #92178 +++
PR 92178 has several cases of dependency between arguments when one of them is
deallocated before the call in the process of argument association.
Here is another example which I don't want to handle there (and which I don't
know how to fix).
program p
implicit none
type t
integer :: i
end type t
type u
class(t), allocatable :: ta(:)
end type u
type(u), allocatable :: c(:)
class(t), allocatable :: d(:)
allocate(c, source = [u([t(1), t(3)]), u([t(4), t(9)])])
allocate(d, source = [t(1), t(5)])
call bar ( &
allocated(c(d(1)%i)%ta), &
d, &
c(d(1)%i)%ta, &
allocated (c(d(1)%i)%ta) &
)
if (allocated (c(1)%ta)) stop 11
if (.not. allocated (c(2)%ta)) stop 12
contains
subroutine bar (alloc, x, y, alloc2)
logical :: alloc, alloc2
class(t), allocatable, intent(out) :: x(:)
class(t), allocatable, intent(out) :: y(:)
if (allocated (x)) stop 1
if (.not. alloc) stop 2
if (.not. alloc2) stop 3
end subroutine bar
end
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87142
[Bug 87142] Aliasing issue with overloaded assignment and allocatable
components
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92178
[Bug 92178] Segmentation fault after passing allocatable array as intent(out)
and its element as value into the same subroutine
