471ed9ad62
When processing the KIND= values of type specifications in parameterized derived type component declarations, it turns out to be necessary to analyze their expressions' parse trees rather than to just fold their typed expression representations. The types of the subexpressions may depend on the values of KIND parameters. Further, when checking the values of KIND= actual arguments to type conversion intrinsic functions (e.g., INT(..., KIND=)) that appear in KIND specifiers for PDT component declarations, don't emit an error for the derived type definition, but instead emit them for derived type instantiations. Fixes https://github.com/llvm/llvm-project/issues/161961.
91 lines
3.1 KiB
Fortran
91 lines
3.1 KiB
Fortran
! REQUIRES: flang-supports-f128-math
|
|
! RUN: %python %S/test_symbols.py %s %flang_fc1
|
|
!DEF: /MainProgram1/ipdt DerivedType
|
|
!DEF: /MainProgram1/ipdt/k TypeParam INTEGER(4)
|
|
type :: ipdt(k)
|
|
!REF: /MainProgram1/ipdt/k
|
|
integer, kind :: k
|
|
!DEF: /MainProgram1/DerivedType9/k TypeParam INTEGER(4)
|
|
!DEF: /MainProgram1/ipdt/x ObjectEntity INTEGER(int(int(k,kind=4),kind=8))
|
|
integer(kind=k) :: x
|
|
end type ipdt
|
|
!DEF: /MainProgram1/rpdt DerivedType
|
|
!DEF: /MainProgram1/rpdt/k TypeParam INTEGER(4)
|
|
type :: rpdt(k)
|
|
!REF: /MainProgram1/rpdt/k
|
|
integer, kind :: k
|
|
!DEF: /MainProgram1/DerivedType13/k TypeParam INTEGER(4)
|
|
!DEF: /MainProgram1/rpdt/x ObjectEntity REAL(int(int(k,kind=4),kind=8))
|
|
real(kind=k) :: x
|
|
end type rpdt
|
|
!DEF: /MainProgram1/zpdt DerivedType
|
|
!DEF: /MainProgram1/zpdt/k TypeParam INTEGER(4)
|
|
type :: zpdt(k)
|
|
!REF: /MainProgram1/zpdt/k
|
|
integer, kind :: k
|
|
!DEF: /MainProgram1/DerivedType17/k TypeParam INTEGER(4)
|
|
!DEF: /MainProgram1/zpdt/x ObjectEntity COMPLEX(int(int(k,kind=4),kind=8))
|
|
complex(kind=k) :: x
|
|
end type zpdt
|
|
!DEF: /MainProgram1/lpdt DerivedType
|
|
!DEF: /MainProgram1/lpdt/k TypeParam INTEGER(4)
|
|
type :: lpdt(k)
|
|
!REF: /MainProgram1/lpdt/k
|
|
integer, kind :: k
|
|
!DEF: /MainProgram1/DerivedType21/k TypeParam INTEGER(4)
|
|
!DEF: /MainProgram1/lpdt/x ObjectEntity LOGICAL(int(int(k,kind=4),kind=8))
|
|
logical(kind=k) :: x
|
|
end type lpdt
|
|
!REF: /MainProgram1/ipdt
|
|
!DEF: /MainProgram1/i1 ObjectEntity TYPE(ipdt(k=1_4))
|
|
type(ipdt(1)) :: i1
|
|
!REF: /MainProgram1/ipdt
|
|
!DEF: /MainProgram1/i2 ObjectEntity TYPE(ipdt(k=2_4))
|
|
type(ipdt(2)) :: i2
|
|
!REF: /MainProgram1/ipdt
|
|
!DEF: /MainProgram1/i4 ObjectEntity TYPE(ipdt(k=4_4))
|
|
type(ipdt(4)) :: i4
|
|
!REF: /MainProgram1/ipdt
|
|
!DEF: /MainProgram1/i8 ObjectEntity TYPE(ipdt(k=8_4))
|
|
type(ipdt(8)) :: i8
|
|
!REF: /MainProgram1/ipdt
|
|
!DEF: /MainProgram1/i16 ObjectEntity TYPE(ipdt(k=16_4))
|
|
type(ipdt(16)) :: i16
|
|
!REF: /MainProgram1/rpdt
|
|
!DEF: /MainProgram1/a2 ObjectEntity TYPE(rpdt(k=2_4))
|
|
type(rpdt(2)) :: a2
|
|
!REF: /MainProgram1/rpdt
|
|
!DEF: /MainProgram1/a4 ObjectEntity TYPE(rpdt(k=4_4))
|
|
type(rpdt(4)) :: a4
|
|
!REF: /MainProgram1/rpdt
|
|
!DEF: /MainProgram1/a8 ObjectEntity TYPE(rpdt(k=8_4))
|
|
type(rpdt(8)) :: a8
|
|
!REF: /MainProgram1/rpdt
|
|
!DEF: /MainProgram1/a16 ObjectEntity TYPE(rpdt(k=16_4))
|
|
type(rpdt(16)) :: a16
|
|
!REF: /MainProgram1/zpdt
|
|
!DEF: /MainProgram1/z2 ObjectEntity TYPE(zpdt(k=2_4))
|
|
type(zpdt(2)) :: z2
|
|
!REF: /MainProgram1/zpdt
|
|
!DEF: /MainProgram1/z4 ObjectEntity TYPE(zpdt(k=4_4))
|
|
type(zpdt(4)) :: z4
|
|
!REF: /MainProgram1/zpdt
|
|
!DEF: /MainProgram1/z8 ObjectEntity TYPE(zpdt(k=8_4))
|
|
type(zpdt(8)) :: z8
|
|
!REF: /MainProgram1/zpdt
|
|
!DEF: /MainProgram1/z16 ObjectEntity TYPE(zpdt(k=16_4))
|
|
type(zpdt(16)) :: z16
|
|
!REF: /MainProgram1/lpdt
|
|
!DEF: /MainProgram1/l1 ObjectEntity TYPE(lpdt(k=1_4))
|
|
type(lpdt(1)) :: l1
|
|
!REF: /MainProgram1/lpdt
|
|
!DEF: /MainProgram1/l2 ObjectEntity TYPE(lpdt(k=2_4))
|
|
type(lpdt(2)) :: l2
|
|
!REF: /MainProgram1/lpdt
|
|
!DEF: /MainProgram1/l4 ObjectEntity TYPE(lpdt(k=4_4))
|
|
type(lpdt(4)) :: l4
|
|
!REF: /MainProgram1/lpdt
|
|
!DEF: /MainProgram1/l8 ObjectEntity TYPE(lpdt(k=8_4))
|
|
type(lpdt(8)) :: l8
|
|
end program
|