gcc/testsuite/gfortran.dg/do_check_12.f90

! { dg-do run }
! { dg-options "-fcheck=do" }
! { dg-shouldfail "DO check" }
!
program test
  implicit none
  integer(1) :: i
  do i = -HUGE(i)+10, -HUGE(i)-1, -1
    print *, i
  end do
end program test
! { dg-output "Fortran runtime error: Loop iterates infinitely" }