xref: /llvm-project/flang/test/Semantics/symbol14.f90 (revision c6ec6e30867d07d5f641cdc34463a9588bdb9d22)
1! RUN: %python %S/test_symbols.py %s %flang_fc1
2! "Bare" uses of type parameters
3 !DEF: /MainProgram1/t1 DerivedType
4 !DEF: /MainProgram1/t1/k TypeParam INTEGER(4)
5 type :: t1(k)
6  !REF: /MainProgram1/t1/k
7  integer, kind :: k=666
8  !DEF: /MainProgram1/t1/a ObjectEntity REAL(4)
9  !REF: /MainProgram1/t1/k
10  real :: a(k)
11 end type t1
12 !REF: /MainProgram1/t1
13 !DEF: /MainProgram1/t2 DerivedType
14 type, extends(t1) :: t2
15  !DEF: /MainProgram1/t2/b ObjectEntity REAL(4)
16  !REF: /MainProgram1/t1/k
17  real :: b(k)
18  !REF: /MainProgram1/t1
19  !DEF: /MainProgram1/t2/x ObjectEntity TYPE(t1(k=666_4))
20  type(t1) :: x
21 end type t2
22end program
23