1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
! RUN: %python %S/test_folding.py %s %flang_fc1
! Tests folding of SAME_TYPE_AS() and EXTENDS_TYPE_OF()
module m
type :: t1
real :: x
end type
type :: t2(k)
integer, kind :: k
real(kind=k) :: x
end type
type :: t3
real :: x
end type
type, extends(t1) :: t4
integer :: y
end type
type(t1) :: x1, y1
type(t2(4)) :: x24, y24
type(t2(8)) :: x28
type(t3) :: x3
type(t4) :: x4
class(t1), allocatable :: a1
class(t3), allocatable :: a3
logical, parameter :: test_1 = same_type_as(x1, x1)
logical, parameter :: test_2 = same_type_as(x1, y1)
logical, parameter :: test_3 = same_type_as(x24, x24)
logical, parameter :: test_4 = same_type_as(x24, y24)
logical, parameter :: test_5 = same_type_as(x24, x28) ! ignores parameter
logical, parameter :: test_6 = .not. same_type_as(x1, x3)
logical, parameter :: test_7 = .not. same_type_as(a1, a3)
logical, parameter :: test_11 = extends_type_of(x1, y1)
logical, parameter :: test_12 = extends_type_of(x24, x24)
logical, parameter :: test_13 = extends_type_of(x24, y24)
logical, parameter :: test_14 = extends_type_of(x24, x28) ! ignores parameter
logical, parameter :: test_15 = .not. extends_type_of(x1, x3)
logical, parameter :: test_16 = .not. extends_type_of(a1, a3)
logical, parameter :: test_17 = .not. extends_type_of(x1, x4)
logical, parameter :: test_18 = extends_type_of(x4, x1)
end module
|
