re PR fortran/88116 (ICE in gfc_convert_constant(): Unexpected type)

2018-12-16  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/88116
	PR fortran/88467
	* array.c (gfc_match_array_constructor): Check return value of
	gfc_convert_type().  Skip constructor elements with BT_UNKNOWN,
	which need to go through resolution.
	* intrinsic.c (gfc_convert_type_warn): Return early if the types
	martch (i.e., no conversion is required).
	* simplify.c (gfc_convert_constant): Remove a gfc_internal_error,
	and return gfc_bad_expr.

2018-12-16  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/88116
	* gfortran.dg/pr88116_1.f90: New test.
	* gfortran.dg/pr88116_2.f90: Ditto.

	PR fortran/88467
	* gfortran.dg/pr88467.f90: New test.

From-SVN: r267189

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index fa4cb4ac0b2e5c0a3e2ccaba2d4e36ec44827613..c25a45045d51ec249ce75e83588c374b10fe9728 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,15 @@
+2018-12-16  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/88116
+       PR fortran/88467
+       * array.c (gfc_match_array_constructor): Check return value of
+       gfc_convert_type().  Skip constructor elements with BT_UNKNOWN,
+       which need to go through resolution.
+       * intrinsic.c (gfc_convert_type_warn): Return early if the types
+       match (i.e., no conversion is required).
+       * simplify.c (gfc_convert_constant): Remove a gfc_internal_error,
+       and return gfc_bad_expr.
+
 2018-12-16  Steven G. Kargl  <kargl@gcc.gnu.org>
 
        * decl.c (variable_decl): Typo fixes in comment and error messsage.

diff --git a/gcc/fortran/array.c b/gcc/fortran/array.c
index e4926d751471d58937eb6f762b9cbd800924adbb..1c5af7997f9716557fb298a10bce38a9d1e39358 100644 (file)
--- a/gcc/fortran/array.c
+++ b/gcc/fortran/array.c
@@ -1246,7 +1246,9 @@ done:
        {
          c = gfc_constructor_first (head);
          for (; c; c = gfc_constructor_next (c))
-           gfc_convert_type (c->expr, &ts, 1);
+           if (!gfc_convert_type (c->expr, &ts, 1)
+               && c->expr->ts.type != BT_UNKNOWN)
+             return MATCH_ERROR;
        }
     }
   else

diff --git a/gcc/fortran/intrinsic.c b/gcc/fortran/intrinsic.c
index 8c18706958dd38ea7468e2be360b50bf56a3ad01..0e0e6fe8314875e6d9e6cc63a94afd5c8b0e2ea4 100644 (file)
--- a/gcc/fortran/intrinsic.c
+++ b/gcc/fortran/intrinsic.c
@@ -5030,6 +5030,13 @@ gfc_convert_type_warn (gfc_expr *expr, gfc_typespec *ts, int eflag, int wflag)
   if (expr->ts.type == BT_UNKNOWN)
     goto bad;
 
+  /* In building an array constructor, gfortran can end up here when no
+     conversion is required for an intrinsic type.  We need to let derived
+     types drop through.  */
+  if (from_ts.type != BT_DERIVED
+      && (from_ts.type == ts->type && from_ts.kind == ts->kind))
+    return true;
+
   if (expr->ts.type == BT_DERIVED && ts->type == BT_DERIVED
       && gfc_compare_types (&expr->ts, ts))
     return true;

diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c
index cdf748e4990d9c3a0d79bd67f77e0183ae83cd38..4ee1f776a702f9901a8ecec6431365050d3b0078 100644 (file)
--- a/gcc/fortran/simplify.c
+++ b/gcc/fortran/simplify.c
@@ -8360,7 +8360,7 @@ gfc_convert_constant (gfc_expr *e, bt type, int kind)
 
     default:
     oops:
-      gfc_internal_error ("gfc_convert_constant(): Unexpected type");
+      return &gfc_bad_expr;
     }
 
   result = NULL;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0f11c91ab136af8571042ecce920d7b2a671f397..427697909302f3e118994ccb33f14d60c0535293 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,12 @@
+2018-12-16  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/88116
+       * gfortran.dg/pr88116_1.f90: New test.
+       * gfortran.dg/pr88116_2.f90: Ditto.
+
+       PR fortran/88467
+       * gfortran.dg/pr88467.f90: New test.
+
 2018-12-16  Steven G. Kargl  <kargl@gcc.gnu.org>
 
        * gfortran.dg/pr88138.f90: Remove extraneous 's' in comment.

diff --git a/gcc/testsuite/gfortran.dg/pr88116_1.f90 b/gcc/testsuite/gfortran.dg/pr88116_1.f90
new file mode 100644 (file)
index 0000000..a64c818
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr88116_1.f90
@@ -0,0 +1,4 @@
+! { dg-do compile }
+program p
+   print *, [integer :: 1, [integer(8) :: 2, ['3']]] ! { dg-error "Can't convert" }
+end

diff --git a/gcc/testsuite/gfortran.dg/pr88116_2.f90 b/gcc/testsuite/gfortran.dg/pr88116_2.f90
new file mode 100644 (file)
index 0000000..cb0684f
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr88116_2.f90
@@ -0,0 +1,7 @@
+! { dg-do run }
+program p
+  real :: a(2) = [real :: 1, [integer :: (real(k), k=2,1), 2]]
+  real :: b(1) = [real :: [integer :: (dble(k), k=1,0), 2]]
+  if (a(1) /= 1. .or. a(2) /= 2. .or. b(1) /= 2.) stop 1
+end
+

diff --git a/gcc/testsuite/gfortran.dg/pr88467.f90 b/gcc/testsuite/gfortran.dg/pr88467.f90
new file mode 100644 (file)
index 0000000..6a96662
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr88467.f90
@@ -0,0 +1,4 @@
+! { dg-do compile }
+program foo
+   print *, [integer :: 1, [integer(8) :: 2, '3']] ! { dg-error "Can't convert" }
+end program foo