https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78466
Bug ID: 78466
Summary: [coarray] Explicit cobounds of a procedures parameter
not respected
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: vehre at gcc dot gnu.org
Target Milestone: ---
The testcase in gcc/testsuite/gfortran.dg/poly_run_2.f90 gives explicit
cobounds for the argument A to procedure s(). Those are not taken into account,
at least not in the way given (excerpt):
type t
end type t
class(t), allocatable :: A[:,:]
allocate (A[1:4,-5:*])
call s(A)
contains
subroutine s(x)
class(t) :: x[4,2:*]
if (any (lcobound(x) /= [1, 2])) call abort ()
if (num_images() == 1) then
if (any (ucobound(x) /= [4, 2])) call abort () ! Fails
else
if (ucobound(x,dim=1) /= 4) call abort ()
end if
end subroutine s
end
Note: The testcase in general is made non-functional by the if(allocated(A))
stop as second line, as it is living in trunk upto r242691.
