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