[LoopReroll] Add an extra defensive check to avoid SCEV assertion.
[llvm-project.git] / flang / test / Semantics / symbol14.f90
blob037db56c4478e27c329f8c2b393aab3d18e397c9
1 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
2 ! REQUIRES: shell
3 ! "Bare" uses of type parameters and components
5 !DEF: /MainProgram1/t1 DerivedType
6 !DEF: /MainProgram1/t1/k TypeParam INTEGER(4)
7 type :: t1(k)
8 !REF: /MainProgram1/t1/k
9 integer, kind :: k=666
10 !DEF: /MainProgram1/t1/a ObjectEntity REAL(4)
11 !REF: /MainProgram1/t1/k
12 real :: a(k)
13 end type t1
14 !REF: /MainProgram1/t1
15 !DEF: /MainProgram1/t2 DerivedType
16 type, extends(t1) :: t2
17 !DEF: /MainProgram1/t2/b ObjectEntity REAL(4)
18 !REF: /MainProgram1/t1/k
19 real :: b(k)
20 !DEF: /MainProgram1/t2/c ObjectEntity REAL(4)
21 !DEF: /MainProgram1/size INTRINSIC, PURE (Function) ProcEntity
22 !REF: /MainProgram1/t1/a
23 real :: c(size(a))
24 !REF: /MainProgram1/t1
25 !DEF: /MainProgram1/t2/x ObjectEntity TYPE(t1(k=666_4))
26 type(t1) :: x
27 end type t2
28 end program