Hello,
There seems to be a bug in final procedure if the procedure is elemental. The following example (module and program) illustrate the bug:
[fortran]module RaggedArrayModule
implicit none
private
type, public :: RaggedArrayInteger
integer, dimension(:), allocatable :: Value
contains
procedure, public, pass :: Initialize
final :: Finalize
end type RaggedArrayInteger
contains
subroutine Initialize(A, nValues)
class(RaggedArrayInteger), intent(inout) :: A
integer, intent(in) :: nValues
allocate (A%Value(nValues))
end subroutine Initialize
elemental subroutine Finalize(A)
type(RaggedArrayInteger), intent(inout) :: A
if (allocated(A%Value)) deallocate(A%Value)
end subroutine Finalize
end module RaggedArrayModule
program RaggedArray_Test
use RaggedArrayModule
type(RaggedArrayInteger), dimension(:), allocatable :: MyArray
!-- This works as expected
allocate (MyArray(1))
call MyArray(1)%Initialize(10)
deallocate(MyArray)
!-- Allocating array with size zero is legal, but produce
! segfault in deallocation when final procedure is elemental
allocate(MyArray(0))
deallocate(MyArray)
end program RaggedArray_Test
[/fortran]
In other words, I think the issue is because when the size of MyArray is allocated to zero, the deallocation triggers the elemental final procedure "Finalize()" and try to access its first element when the actual size is zero. I believe this is a behavior is a bug.
