74 lines · plain
1! RUN: %python %S/test_errors.py %s %flang_fc12 3module m4 type :: t15 real :: x6 end type7 type :: t2(k)8 integer, kind :: k9 real(kind=k) :: x10 end type11 type :: t312 real :: x13 end type14 type, extends(t1) :: t415 integer :: y16 end type17 type :: t518 sequence19 integer :: x20 integer :: y21 end type22 23 integer :: i24 real :: r25 type(t1) :: x1, y126 type(t2(4)) :: x24, y2427 type(t2(8)) :: x2828 type(t3) :: x329 type(t4) :: x430 type(t5) :: x531 class(t1), allocatable :: a132 class(t3), allocatable :: a333 34 integer(kind=merge(kind(1),-1,same_type_as(x1, x1))) same_type_as_x1_x1_true35 integer(kind=merge(kind(1),-1,same_type_as(x1, y1))) same_type_as_x1_y1_true36 integer(kind=merge(kind(1),-1,same_type_as(x24, x24))) same_type_as_x24_x24_true37 integer(kind=merge(kind(1),-1,same_type_as(x24, y24))) same_type_as_x24_y24_true38 integer(kind=merge(kind(1),-1,same_type_as(x24, x28))) same_type_as_x24_x28_true39 !ERROR: INTEGER(KIND=-1) is not a supported type40 integer(kind=merge(kind(1),-1,same_type_as(x1, x3))) same_type_as_x1_x3_false41 !ERROR: INTEGER(KIND=-1) is not a supported type42 integer(kind=merge(kind(1),-1,same_type_as(a1, a3))) same_type_as_a1_a3_false43 !ERROR: Actual argument for 'a=' has type 't5', but was expected to be an extensible or unlimited polymorphic type44 logical :: t1_8 = same_type_as(x5, x5)45 !ERROR: Actual argument for 'a=' has type 't5', but was expected to be an extensible or unlimited polymorphic type46 logical :: t1_9 = same_type_as(x5, x1)47 !ERROR: Actual argument for 'b=' has type 't5', but was expected to be an extensible or unlimited polymorphic type48 logical :: t1_10 = same_type_as(x1, x5)49 !ERROR: Actual argument for 'a=' has bad type 'INTEGER(4)', expected extensible or unlimited polymorphic type50 logical :: t1_11 = same_type_as(i, i)51 !ERROR: Actual argument for 'a=' has bad type 'REAL(4)', expected extensible or unlimited polymorphic type52 logical :: t1_12 = same_type_as(r, r)53 !ERROR: Actual argument for 'a=' has bad type 'INTEGER(4)', expected extensible or unlimited polymorphic type54 logical :: t1_13 = same_type_as(i, t)55 56 integer(kind=merge(kind(1),-1,extends_type_of(x1, y1))) extends_type_of_x1_y1_true57 integer(kind=merge(kind(1),-1,extends_type_of(x24, x24))) extends_type_of_x24_x24_true58 integer(kind=merge(kind(1),-1,extends_type_of(x24, y24))) extends_type_of_x24_y24_true59 integer(kind=merge(kind(1),-1,extends_type_of(x24, x28))) extends_type_of_x24_x28_true60 !ERROR: INTEGER(KIND=-1) is not a supported type61 integer(kind=merge(kind(1),-1,extends_type_of(x1, x3))) extends_type_of_x1_x3_false62 !ERROR: INTEGER(KIND=-1) is not a supported type63 integer(kind=merge(kind(1),-1,extends_type_of(a1, a3))) extends_type_of_a1_a3_false64 !ERROR: INTEGER(KIND=-1) is not a supported type65 integer(kind=merge(kind(1),-1,extends_type_of(x1, x4))) extends_type_of_x1_x4_false66 integer(kind=merge(kind(1),-1,extends_type_of(x4, x1))) extends_type_of_x4_x1_true67 !ERROR: Actual argument for 'a=' has type 't5', but was expected to be an extensible or unlimited polymorphic type68 logical :: t2_9 = extends_type_of(x5, x5)69 !ERROR: Actual argument for 'a=' has type 't5', but was expected to be an extensible or unlimited polymorphic type70 logical :: t2_10 = extends_type_of(x5, x1)71 !ERROR: Actual argument for 'mold=' has type 't5', but was expected to be an extensible or unlimited polymorphic type72 logical :: t2_11 = extends_type_of(x1, x5)73end module74