! { dg-final { scan-assembler-not "should_be_noreturn" } }
! PR 17758
! This checks that non-returning subroutines and statements
! really don't return by calling non-existing subroutines
! afterwards.  These calls are supposed to be optimized away, so
! they won't show up in the generated assembly.
program main
  character(len=5) :: c
  c = '12345'
  read(unit=c,fmt='(A)') i
  select case(i)
     case(1)
        call abort
        call abort_should_be_noreturn
     case(2)
        stop 65
        call stop_numeric_should_be_noreturn
     case(3)
        stop "foobar"
        call stop_string_should_be_noreturn
     case(4)
        call exit
        call exit_should_be_noreturn
     end select
end program main