re PR fortran/82173 ([meta-bug] Parameterized derived type errors)

2017-09-13  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/82173
	* decl.c (match_char_kind): If the kind expression is
	parameterized, save it in saved_kind_expr and set kind = 0.
	(gfc_get_pdt_instance): Resolve and simplify before emitting
	error on expression kind. Insert a missing simplification after
	insertion of kind expressions.

2017-09-13  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/82173
	* gfortran.dg/pdt_10.f03 : New test.

From-SVN: r252734

gcc/fortran/ChangeLog

+2017-09-13  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/82173
+	* decl.c (match_char_kind): If the kind expression is
+	parameterized, save it in saved_kind_expr and set kind = 0.
+	(gfc_get_pdt_instance): Resolve and simplify before emitting
+	error on expression kind. Insert a missing simplification after
+	insertion of kind expressions.
+
 2017-09-12  Paul Thomas  <pault@gcc.gnu.org>
 
 	PR fortran/82173

gcc/fortran/decl.c

@@ -2884,6 +2884,13 @@ match_char_kind (int * kind, int * is_iso_c)
       goto no_match;
     }
 
+  if (gfc_derived_parameter_expr (e))
+    {
+      saved_kind_expr = e;
+      *kind = 0;
+      return MATCH_YES;
+    }
+
   fail = gfc_extract_int (e, kind, 1);
   *is_iso_c = e->ts.is_iso_c;
   if (fail)
@@ -3296,6 +3303,9 @@ gfc_get_pdt_instance (gfc_actual_arglist *param_list, gfc_symbol **sym,
 
       if (kind_expr)
 	{
+	  /* Try simplification even for LEN expressions.  */
+	  gfc_resolve_expr (kind_expr);
+	  gfc_simplify_expr (kind_expr, 1);
 	  /* Variable expressions seem to default to BT_PROCEDURE.
 	     TODO find out why this is and fix it.  */
 	  if (kind_expr->ts.type != BT_INTEGER
@@ -3308,8 +3318,6 @@ gfc_get_pdt_instance (gfc_actual_arglist *param_list, gfc_symbol **sym,
 	    }
 
 	  tail->expr = gfc_copy_expr (kind_expr);
-	  /* Try simplification even for LEN expressions.  */
-	  gfc_simplify_expr (tail->expr, 1);
 	}
 
       if (actual_param)
@@ -3453,6 +3461,7 @@ gfc_get_pdt_instance (gfc_actual_arglist *param_list, gfc_symbol **sym,
 	{
 	  gfc_expr *e = gfc_copy_expr (c1->kind_expr);
 	  gfc_insert_kind_parameter_exprs (e);
+	  gfc_simplify_expr (e, 1);
 	  gfc_extract_int (e, &c2->ts.kind);
 	  gfc_free_expr (e);
 	  if (gfc_validate_kind (c2->ts.type, c2->ts.kind, true) < 0)

gcc/testsuite/ChangeLog

+2017-09-13  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/82173
+	* gfortran.dg/pdt_10.f03 : New test.
+
 2017-09-13  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/68177

gcc/testsuite/gfortran.dg/pdt_10.f03

+! { dg-do run }
+!
+! Fixes problem setting CHARACTER KIND expressions in PDT components
+! and resolution of intrinsic functions and numeric expressions.
+!
+! Contributed by FortranFan on clf thread "Parameterized Derived Types
+! make first appearance in gfortran 8.0.0"
+!
+program p
+   use, intrinsic :: iso_fortran_env, only : CK => character_kinds
+   implicit none
+   character(kind = 4), parameter :: c = 'a'
+   type :: pdt_t(k,l)
+      integer, kind :: k = CK(1)
+      integer, len :: l
+      character(kind=k,len=l) :: s
+   end type
+   type(pdt_t(l=12)) :: foo
+   type(pdt_t(k = kind (c), l=12)) :: foo_4
+
+   foo%s = "Hello World!"
+   if (foo%s .ne. "Hello World!") call abort
+   if (KIND (foo%s) .ne. 1) call abort
+   if (len (foo%s) .ne. 12) call abort
+
+   foo_4%s = "Hello World!"
+   if (foo_4%s .ne. "Hello World!") call abort
+   if (KIND (foo_4%s) .ne. 1) call abort
+   if (len (foo_4%s) .ne. 12) call abort
+end program