flang/test/Semantics/data20.f90

   1 ! RUN: %flang_fc1 -fdebug-dump-symbols %s 2>&1 | FileCheck %s
   2 ! Verify that allocatable components have explicit NULL() initializers
   3 ! when converted from DATA statements
   4 !CHECK: x1 (InDataStmt) size=32 offset=0: ObjectEntity type: TYPE(t) init:t(a=NULL(),n=1_4)
   5 !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)]
   6 !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)])
   7 program main
   8   type t
   9     real, allocatable :: a
  10     integer n
  11   end type
  12   type t2
  13     type(t) b(2)
  14   end type
  15   type(t) x1, x2(2)
  16   type(t2) x3
  17   data x1%n/1/, x2(:)%n/2, 3/, x3%b(:)%n/4, 5/
  18 end