llvm/flang/test/Semantics/data20.f90

! RUN: %flang_fc1 -fdebug-dump-symbols %s 2>&1 | FileCheck %s
! Verify that allocatable components have explicit NULL() initializers
! when converted from DATA statements
!CHECK: x1 (InDataStmt) size=32 offset=0: ObjectEntity type: TYPE(t) init:t(a=NULL(),n=1_4)
!CHECK: x2 (InDataStmt) size=64 offset=32: ObjectEntity type: TYPE(t) shape: 1_8:2_8 init:[t::t(a=NULL(),n=2_4),t(a=NULL(),n=3_4)]
!CHECK: x3 (InDataStmt) size=64 offset=96: ObjectEntity type: TYPE(t2) init:t2(b=[t::t(a=NULL(),n=4_4),t(a=NULL(),n=5_4)])
program main
  type t
    real, allocatable :: a
    integer n
  end type
  type t2
    type(t) b(2)
  end type
  type(t) x1, x2(2)
  type(t2) x3
  data x1%n/1/, x2(:)%n/2, 3/, x3%b(:)%n/4, 5/
end