re PR fortran/68426 (Simplification of SPREAD with a derived type element is unimplemented)

2019-01-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

	PR fortran/68426
	* simplify.c (gfc_simplify_spread): Also simplify if the
	type of source is an EXPR_STRUCTURE.

2019-01-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

	PR fortran/68426
	* gfortran.dg/spread_simplify_1.f90: New test.

From-SVN: r267781

gcc/fortran/ChangeLog

+2019-01-09  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+	PR fortran/68426
+	* simplify.c (gfc_simplify_spread): Also simplify if the
+	type of source is an EXPR_STRUCTURE.
+
 2019-01-08  Janus Weil  <janus@gcc.gnu.org>
 
 	PR fortran/88047

gcc/fortran/simplify.c

@@ -7572,7 +7572,8 @@ gfc_simplify_spread (gfc_expr *source, gfc_expr *dim_expr, gfc_expr *ncopies_exp
 	return NULL;
     }
 
-  if (source->expr_type == EXPR_CONSTANT)
+  if (source->expr_type == EXPR_CONSTANT
+      || source->expr_type == EXPR_STRUCTURE)
     {
       gcc_assert (dim == 0);
 

gcc/testsuite/ChangeLog

+2019-01-09  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+	PR fortran/68426
+	* gfortran.dg/spread_simplify_1.f90: New test.
+
 2019-01-09  Uroš Bizjak  <ubizjak@gmail.com>
 
 	* lib/target-supports.exp

gcc/testsuite/gfortran.dg/spread_simplify_1.f90

+! { dg-do  run  }
+! PR 68426 - simplification used to fail.
+  module m
+    implicit none
+    type t
+      integer :: i
+    end type t
+    type(t), dimension(2), parameter :: a1  = (/ t(1), t(2) /)
+    type(t), dimension(1), parameter :: c = spread ( a1(1), 1, 1 )
+  end module m
+
+
+program main
+  use m
+  if (c(1)%i /= 1) stop 1
+end program main