llvm-project/flang/test/Semantics/modfile42.f90
Peter Klausler c14cf92b5a [flang] Implement semantics for DEC STRUCTURE/RECORD
Implements part of the legacy "DEC structures" feature from
VMS Fortran.  STRUCTUREs are processed as if they were derived
types with SEQUENCE.  DATA-like object entity initialization
is supported as well (e.g., INTEGER FOO/666/) since it was used
for default component initialization in structures.  Anonymous
components (named %FILL) are also supported.

These features, and UNION/MAP, were already being parsed.
An omission in the collection of structure field names in the
case of nested structures with entity declarations was fixed
in the parser.

Structures are supported in modules, but this is mostly for
testing purposes.  The names of fields in structures accessed
via USE association cannot appear with dot notation in client
code (at least not yet).  DEC structures antedate Fortran 90,
so their actual use in applications should not involve modules.

This patch does not implement UNION/MAP, since that feature
would impose difficulties later in lowering them to MLIR types.
In the meantime, if they appear, semantics will issue a
"not yet implemented" error message.

Differential Revision: https://reviews.llvm.org/D117151
2022-01-13 13:17:13 -08:00

49 lines
1.1 KiB
Fortran

! RUN: %python %S/test_modfile.py %s %flang_fc1
! Check legacy DEC structures
module m
structure /s1/
integer n/1/
integer na(2)/2,3/
structure /s1a/ m, ma(2)
integer j/4/
integer ja(2)/5,6/
end structure
structure m2(2), m3 ! anonymous
integer k/7/
integer %fill(3)
integer ka(2)/8,9/
real %fill(2)
end structure
end structure
record/s1/ ra1, rb1
record/s1a/ ra1a
common/s1/ foo ! not a name conflict
character*8 s1 ! not a name conflict
integer t(2) /2*10/ ! DATA-like entity initialization
end
!Expect: m.mod
!module m
!structure /s1/
!integer(4)::n=1_4
!integer(4)::na(1_8:2_8)=[INTEGER(4)::2_4,3_4]
!structure /s1a/m,ma(1_8:2_8)
!integer(4)::j=4_4
!integer(4)::ja(1_8:2_8)=[INTEGER(4)::5_4,6_4]
!end structure
!structure m2(1_8:2_8),m3
!integer(4)::k=7_4
!integer(4)::%FILL(1_8:3_8)
!integer(4)::ka(1_8:2_8)=[INTEGER(4)::8_4,9_4]
!real(4)::%FILL(1_8:2_8)
!end structure
!end structure
!record/s1/::ra1
!record/s1/::rb1
!record/s1a/::ra1a
!real(4)::foo
!character(8_8,1)::s1
!integer(4)::t(1_8:2_8)
!common/s1/foo
!end