re PR fortran/50540 (Internal Error: Can't convert UNKNOWN to INTEGER(4) (r178939))

	PR fortran/50540
	* resolve.c (resolve_forall_iterators): Transform internal errors
	to normal errors.
	* gfortran.dg/forall_16.f90: New test.

From-SVN: r181200

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 4b65c73ea384991d7079d109320ddbe5d78e121a..6d7c35b1fe121c4a02b354e18849c18f3da691d5 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2011-11-09  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+       PR fortran/50540
+       * resolve.c (resolve_forall_iterators): Transform internal errors
+       to normal errors.
+
 2011-11-09  Janus Weil  <janus@gcc.gnu.org>
 
        PR fortran/50960
@@ -8,7 +14,7 @@
        be resolved again.
        (resolve_fl_parameter): Make sure the symbol has a value.
 
-2011-11-08  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+2011-11-09  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
        PR fortran/38718
        * intrinsic.c (add_functions): Allow dreal simplification.

diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index 0a8fac614be15c616848a975b9519d41c904a283..d96b33225ede01065f04f25811bbac2bf2aaf6c4 100644 (file)
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -6427,14 +6427,14 @@ resolve_forall_iterators (gfc_forall_iterator *it)
        gfc_error ("FORALL start expression at %L must be a scalar INTEGER",
                   &iter->start->where);
       if (iter->var->ts.kind != iter->start->ts.kind)
-       gfc_convert_type (iter->start, &iter->var->ts, 2);
+       gfc_convert_type (iter->start, &iter->var->ts, 1);
 
       if (gfc_resolve_expr (iter->end) == SUCCESS
          && (iter->end->ts.type != BT_INTEGER || iter->end->rank != 0))
        gfc_error ("FORALL end expression at %L must be a scalar INTEGER",
                   &iter->end->where);
       if (iter->var->ts.kind != iter->end->ts.kind)
-       gfc_convert_type (iter->end, &iter->var->ts, 2);
+       gfc_convert_type (iter->end, &iter->var->ts, 1);
 
       if (gfc_resolve_expr (iter->stride) == SUCCESS)
        {
@@ -6448,7 +6448,7 @@ resolve_forall_iterators (gfc_forall_iterator *it)
                       &iter->stride->where);
        }
       if (iter->var->ts.kind != iter->stride->ts.kind)
-       gfc_convert_type (iter->stride, &iter->var->ts, 2);
+       gfc_convert_type (iter->stride, &iter->var->ts, 1);
     }
 
   for (iter = it; iter; iter = iter->next)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e6e9049cd97434e38abfb26a185fdbcce8e1b6a4..c85c864616b9660e7230bcbf3a2b2c7406d0b8c9 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-11-09  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+       PR fortran/50540
+       * gfortran.dg/forall_16.f90: New test.
+
 2011-11-09  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
        PR fortran/38718

diff --git a/gcc/testsuite/gfortran.dg/forall_16.f90 b/gcc/testsuite/gfortran.dg/forall_16.f90
new file mode 100644 (file)
index 0000000..017aa5a
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/forall_16.f90
@@ -0,0 +1,9 @@
+! { dg-do compile }
+! PR fortran/50540
+!
+  implicit none
+  integer i,dest(10)
+  forall (i=2:ix)  dest(i)=i ! { dg-error "has no IMPLICIT type" }
+end
+
+! { dg-excess-errors "Can't convert UNKNOWN to INTEGER" }