44 lines · plain
1! RUN: %python %S/test_folding.py %s %flang_fc12! Tests folding of SAME_TYPE_AS() and EXTENDS_TYPE_OF()3module m4 5 type :: t16 real :: x7 end type8 type :: t2(k)9 integer, kind :: k10 real(kind=k) :: x11 end type12 type :: t313 real :: x14 end type15 type, extends(t1) :: t416 integer :: y17 end type18 19 type(t1) :: x1, y120 type(t2(4)) :: x24, y2421 type(t2(8)) :: x2822 type(t3) :: x323 type(t4) :: x424 class(t1), allocatable :: a125 class(t3), allocatable :: a326 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 parameter32 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 parameter39 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 module44