min_max_conformance.f90

来自「用于进行gcc测试」· F90 代码 · 共 52 行

! { dg-do compile }
! { dg-options "-fmax-errors=0" }
! PR 31919:  Tests for different ranks in min/max were missing.
program pr31919
  integer :: i4, i4a(2, 2), i4b(2), i4c(4)
  real(4) :: r4, r4a(2, 2), r4b(2), r4c(4)
  real(8) :: r8, r8a(2, 2), r8b(2), r8c(4)

  i4a = max(i4a, i4b)            ! { dg-error "Incompatible ranks" }
  i4a = max0(i4a, i4b)           ! { dg-error "Incompatible ranks" }
  r4a = amax0(i4a, i4b)          ! { dg-error "Incompatible ranks" }
  i4a = max1(r4a, r4b)           ! { dg-error "Incompatible ranks" }
  r4a = amax1(r4a, r4b)          ! { dg-error "Incompatible ranks" }
  r8a = dmax1(r8a, r8b)          ! { dg-error "Incompatible ranks" }

  i4a = min(i4a, i4b)            ! { dg-error "Incompatible ranks" }
  i4a = min0(i4a, i4b)           ! { dg-error "Incompatible ranks" }
  i4a = amin0(i4a, i4b)          ! { dg-error "Incompatible ranks" }
  r4a = min1(r4a, r4b)           ! { dg-error "Incompatible ranks" }
  r4a = amin1(r4a, r4b)          ! { dg-error "Incompatible ranks" }
  r8a = dmin1(r8a, r8b)          ! { dg-error "Incompatible ranks" }

  i4a = max(i4b, i4c)            ! { dg-error "Different shape for arguments" }
  i4a = max0(i4b, i4c)           ! { dg-error "Different shape for arguments" }
  r4a = amax0(i4b, i4c)          ! { dg-error "Different shape for arguments" }
  i4a = max1(r4b, r4c)           ! { dg-error "Different shape for arguments" }
  r4a = amax1(r4b, r4c)          ! { dg-error "Different shape for arguments" }
  r8a = dmax1(r8B, r8c)          ! { dg-error "Different shape for arguments" }

  i4a = min(i4b, i4c)            ! { dg-error "Different shape for arguments" }
  i4a = min0(i4b, i4c)           ! { dg-error "Different shape for arguments" }
  i4a = amin0(i4b, i4c)          ! { dg-error "Different shape for arguments" }
  r4a = min1(r4b, r4c)           ! { dg-error "Different shape for arguments" }
  r4a = amin1(r4b, r4c)          ! { dg-error "Different shape for arguments" }
  r8a = dmin1(r8b, r8c)          ! { dg-error "Different shape for arguments" }

  ! checking needs to be position independent
  i4a = min(i4, i4a, i4, i4b)    ! { dg-error "Incompatible ranks" }
  r4a = min(r4, r4a, r4, r4b)    ! { dg-error "Incompatible ranks" }
  r8a = min(r8, r8a, r8, r8b)    ! { dg-error "Incompatible ranks" }
  i4a = min(i4, i4b, i4, i4c)    ! { dg-error "Different shape for arguments" }
  r4a = min(r4, r4b, r4, r4c)    ! { dg-error "Different shape for arguments" }
  r8a = min(r8, r8b, r8, r8c)    ! { dg-error "Different shape for arguments" }

  i4a = max(i4, i4a, i4, i4b)    ! { dg-error "Incompatible ranks" }
  r4a = max(r4, r4a, r4, r4b)    ! { dg-error "Incompatible ranks" }
  r8a = max(r8, r8a, r8, r8b)    ! { dg-error "Incompatible ranks" }
  i4a = max(i4, i4b, i4, i4c)    ! { dg-error "Different shape for arguments" }
  r4a = max(r4, r4b, r4, r4c)    ! { dg-error "Different shape for arguments" }
  r8a = max(r8, r8b, r8, r8c)    ! { dg-error "Different shape for arguments" }
end program