[Bug fortran/61002] Can't divide by 0

["dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=61002

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sgk at troutmask dot apl.washingto
                   |                            |n.edu

--- Comment #7 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> I think we should do what we did elsewhere, namely:
>
> "This check can be disabled with the option -fno-range-check"

Along the following patch

--- ../_clean/gcc/fortran/arith.c    2014-04-27 12:52:10.000000000 +0200
+++ gcc/fortran/arith.c    2014-05-02 15:55:19.000000000 +0200
@@ -104,7 +104,8 @@ gfc_arith_error (arith code)
       p = _("Arithmetic NaN at %L");
       break;
     case ARITH_DIV0:
-      p = _("Division by zero at %L");
+      p = _("Division by zero at %L. This check "
+        "can be disabled with the option -fno-range-check");
       break;
     case ARITH_INCOMMENSURATE:
       p = _("Array operands are incommensurate at %L");
@@ -1929,7 +1930,8 @@ arith_error (arith rc, gfc_typespec *fro
          gfc_typename (from), gfc_typename (to), where);
       break;
     case ARITH_DIV0:
-      gfc_error ("Division by zero converting %s to %s at %L",
+      gfc_error ("Division by zero converting %s to %s at %L. This check "
+         "can be disabled with the option -fno-range-check",
          gfc_typename (from), gfc_typename (to), where);
       break;
     case ARITH_INCOMMENSURATE:

? This only works for floating point values:

/opt/gcc/work/gcc/testsuite/gfortran.dg/arith_divide.f:10.14:

        j = 10/0! { dg-error "Division by zero at" }                    
              1
Error: Division by zero at (1). This check can be disabled with the option
-fno-range-check

What is the best way to avoid the misleading "This check can be disabled with
the option -fno-range-check" for integers? Use "This check can be disabled for
floating point values with the option -fno-range-check"? or pass an extra
argument to gfc_arith_error?

While I am at it, should I do the same thing for "Arithmetic overflow" and
friends? Should not "This check can be disabled with the option
-fno-range-check" ends with a dot?