[flang][debug] Derived types with allocatable members are not handled correctly.

[abidh]

Currently, flang does not generate debug information for any allocatable member of the derived type. Any members coming after that are also skipped. Similar issue exist with pointer members.

module m
 type t1
   integer :: v1
   integer, allocatable :: p(:)
   integer :: v2
 end type
 type(t1) :: var
end module

program test
  use m
  var%v1 = 2
  allocate(var%p(100))
  var%v2 = 3
  print *, var%v1, var%v2
END

and this what GDB as type of the var.

(gdb) ptype var
type = Type t1
    integer :: v1
End Type t1

[llvmbot]

@llvm/issue-subscribers-flang-ir

Author: Abid Qadeer (abidh)

Currently, flang does not generate debug information for any allocatable member of the derived type. Any members coming after that are also skipped. Similar issue exist with pointer members.

module m
 type t1
   integer :: v1
   integer, allocatable :: p(:)
   integer :: v2
 end type
 type(t1) :: var
end module

program test
  use m
  var%v1 = 2
  allocate(var%p(100))
  var%v2 = 3
  print *, var%v1, var%v2
END

and this what GDB as type of the var.

(gdb) ptype var
type = Type t1
    integer :: v1
End Type t1

[llvmbot]

@llvm/issue-subscribers-debuginfo

Author: Abid Qadeer (abidh)

Currently, flang does not generate debug information for any allocatable member of the derived type. Any members coming after that are also skipped. Similar issue exist with pointer members.

module m
 type t1
   integer :: v1
   integer, allocatable :: p(:)
   integer :: v2
 end type
 type(t1) :: var
end module

program test
  use m
  var%v1 = 2
  allocate(var%p(100))
  var%v2 = 3
  print *, var%v1, var%v2
END

and this what GDB as type of the var.

(gdb) ptype var
type = Type t1
    integer :: v1
End Type t1

[pawosm-arm]

I came across the same problem, yet with smaller example:

program derived

implicit none

type :: derv
  integer, pointer :: alloc(:, :)
end type

type(derv) :: var

allocate(var%alloc(-1:1, -2:2))
var%alloc = -1

print *, var%alloc

end program

With breakpoint placed at the print line, gdb prints this for gfortran compiled program:

$1 = ( alloc = ((-1, -1, -1) (-1, -1, -1) (-1, -1, -1) (-1, -1, -1) (-1, -1, -1)) )

yet it prints this for flang-new compiled one:

$1 = (  )

and ptype:

(gdb) ptype var
type = Type derv
End Type derv