! 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