gcc/testsuite/gfortran.dg/arithmetic_overflow_3.f90

   1 ! { dg-do compile }
   2 ! { dg-additional-options "-frange-check" }
   3 !
   4 ! PR fortran/103707
   5 ! PR fortran/106987
   6 !
   7 ! Check error recovery on arithmetic exceptions
   8
   9 program p
  10   implicit none
  11   integer, parameter :: a(3) = [30,31,32]
  12   integer, parameter :: e(1) = 2
  13   print *, 2 ** a       ! { dg-error "Arithmetic overflow" }
  14   print *, e ** 31      ! { dg-error "Arithmetic overflow" }
  15 end
  16
  17 ! { dg-prune-output "Result of exponentiation" }
  18
  19 subroutine s
  20   implicit none
  21   real, parameter :: inf = real (z'7F800000')
  22   real, parameter :: nan = real (z'7FC00000')
  23
  24   ! Unary operators
  25   print *, -[inf,nan]           ! { dg-error "Arithmetic overflow" }
  26   print *, -[nan,inf]           ! { dg-error "Arithmetic NaN" }
  27
  28   ! Binary operators
  29   print *, [1.]/[0.]            ! { dg-error "Division by zero" }
  30   print *, [0.]/[0.]            ! { dg-error "Arithmetic NaN" }
  31   print *, 0. / [(0.,0.)]       ! { dg-error "Arithmetic NaN" }
  32   print *, [1.,0.]/[0.,0.]      ! { dg-error "Division by zero" }
  33   print *, [(1.,1.)]/[0.]       ! { dg-error "Division by zero" }
  34   print *, [(1.,0.)]/[0.]       ! { dg-error "Division by zero" }
  35   print *, [(0.,0.)]/[0.]       ! { dg-error "Arithmetic NaN" }
  36   print *, - [1./0.]/[0.]       ! { dg-error "Division by zero" }
  37   print *, - [ 1/0 ] * 1        ! { dg-error "Division by zero" }
  38
  39   ! Binary operators, exceptional input
  40   print *, 1. / nan             ! { dg-error "Arithmetic NaN" }
  41   print *, [inf] / inf          ! { dg-error "Arithmetic NaN" }
  42   print *, inf + [nan]          ! { dg-error "Arithmetic NaN" }
  43   print *, [(1.,0.)]/[(nan,0.)] ! { dg-error "Arithmetic NaN" }
  44   print *, [(1.,0.)]/[(0.,nan)] ! { dg-error "Arithmetic NaN" }
  45   print *, [(1.,0.)]/[(inf,0.)] ! OK
  46   print *, [nan,inf] / (0.)     ! { dg-error "Arithmetic NaN" }
  47   print *, [inf,nan] / (0.)     ! { dg-error "Arithmetic overflow" }
  48 end