[gcc r13-7833] Fortran: Pad mismatched charlens in component initializers [PR68155]

[gcc r13-7833] Fortran: Pad mismatched charlens in component initializers [PR68155]

[Paul Thomas]

https://gcc.gnu.org/g:8c1925ece0193058120e94614e99360e9600777e

commit r13-7833-g8c1925ece0193058120e94614e99360e9600777e
Author: Paul Thomas <pault@gcc.gnu.org>
Date:   Sun Sep 24 15:26:01 2023 +0100

    Fortran: Pad mismatched charlens in component initializers [PR68155]
    
    2023-09-24  Paul Thomas  <pault@gcc.gnu.org>
    
    gcc/fortran
            PR fortran/68155
            * decl.cc (fix_initializer_charlen): New function broken out of
            add_init_expr_to_sym.
            (add_init_expr_to_sym, build_struct): Call the new function.
    
    gcc/testsuite/
            PR fortran/68155
            * gfortran.dg/pr68155.f90: New test.

Diff:
---
 gcc/fortran/decl.cc                   | 84 +++++++++++++++++++++--------------
 gcc/testsuite/gfortran.dg/pr68155.f90 | 29 ++++++++++++
 2 files changed, 79 insertions(+), 34 deletions(-)

diff --git a/gcc/fortran/decl.cc b/gcc/fortran/decl.cc
index 233bf244d62..03e993eb0ff 100644
--- a/gcc/fortran/decl.cc
+++ b/gcc/fortran/decl.cc
@@ -1957,6 +1957,45 @@ gfc_free_enum_history (void)
 }
 
 
+/* Function to fix initializer character length if the length of the
+   symbol or component is constant.  */
+
+static bool
+fix_initializer_charlen (gfc_typespec *ts, gfc_expr *init)
+{
+  if (!gfc_specification_expr (ts->u.cl->length))
+    return false;
+
+  int k = gfc_validate_kind (BT_INTEGER, gfc_charlen_int_kind, false);
+
+  /* resolve_charlen will complain later on if the length
+     is too large.  Just skip the initialization in that case.  */
+  if (mpz_cmp (ts->u.cl->length->value.integer,
+	       gfc_integer_kinds[k].huge) <= 0)
+    {
+      HOST_WIDE_INT len
+		= gfc_mpz_get_hwi (ts->u.cl->length->value.integer);
+
+      if (init->expr_type == EXPR_CONSTANT)
+	gfc_set_constant_character_len (len, init, -1);
+      else if (init->expr_type == EXPR_ARRAY)
+	{
+	  gfc_constructor *cons;
+
+	  /* Build a new charlen to prevent simplification from
+	     deleting the length before it is resolved.  */
+	  init->ts.u.cl = gfc_new_charlen (gfc_current_ns, NULL);
+	  init->ts.u.cl->length = gfc_copy_expr (ts->u.cl->length);
+	  cons = gfc_constructor_first (init->value.constructor);
+	  for (; cons; cons = gfc_constructor_next (cons))
+	    gfc_set_constant_character_len (len, cons->expr, -1);
+	}
+    }
+
+  return true;
+}
+
+
 /* Function called by variable_decl() that adds an initialization
    expression to a symbol.  */
 
@@ -2070,40 +2109,10 @@ add_init_expr_to_sym (const char *name, gfc_expr **initp, locus *var_locus)
 				gfc_copy_expr (init->ts.u.cl->length);
 		}
 	    }
-	  /* Update initializer character length according symbol.  */
-	  else if (sym->ts.u.cl->length->expr_type == EXPR_CONSTANT)
-	    {
-	      if (!gfc_specification_expr (sym->ts.u.cl->length))
-		return false;
-
-	      int k = gfc_validate_kind (BT_INTEGER, gfc_charlen_int_kind,
-					 false);
-	      /* resolve_charlen will complain later on if the length
-		 is too large.  Just skeep the initialization in that case.  */
-	      if (mpz_cmp (sym->ts.u.cl->length->value.integer,
-			   gfc_integer_kinds[k].huge) <= 0)
-		{
-		  HOST_WIDE_INT len
-		    = gfc_mpz_get_hwi (sym->ts.u.cl->length->value.integer);
-
-		  if (init->expr_type == EXPR_CONSTANT)
-		    gfc_set_constant_character_len (len, init, -1);
-		  else if (init->expr_type == EXPR_ARRAY)
-		    {
-		      gfc_constructor *c;
-
-		      /* Build a new charlen to prevent simplification from
-			 deleting the length before it is resolved.  */
-		      init->ts.u.cl = gfc_new_charlen (gfc_current_ns, NULL);
-		      init->ts.u.cl->length
-			= gfc_copy_expr (sym->ts.u.cl->length);
-
-		      for (c = gfc_constructor_first (init->value.constructor);
-			   c; c = gfc_constructor_next (c))
-			gfc_set_constant_character_len (len, c->expr, -1);
-		    }
-		}
-	    }
+	  /* Update initializer character length according to symbol.  */
+	  else if (sym->ts.u.cl->length->expr_type == EXPR_CONSTANT
+		   && !fix_initializer_charlen (&sym->ts, init))
+	    return false;
 	}
 
       if (sym->attr.flavor == FL_PARAMETER && sym->attr.dimension && sym->as
@@ -2367,6 +2376,13 @@ build_struct (const char *name, gfc_charlen *cl, gfc_expr **init,
   c->initializer = *init;
   *init = NULL;
 
+  /* Update initializer character length according to component.  */
+  if (c->ts.type == BT_CHARACTER && c->ts.u.cl->length
+      && c->ts.u.cl->length->expr_type == EXPR_CONSTANT
+      && c->initializer && c->initializer->ts.type == BT_CHARACTER
+      && !fix_initializer_charlen (&c->ts, c->initializer))
+    return false;
+
   c->as = *as;
   if (c->as != NULL)
     {
diff --git a/gcc/testsuite/gfortran.dg/pr68155.f90 b/gcc/testsuite/gfortran.dg/pr68155.f90
new file mode 100644
index 00000000000..2bd6f788023
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr68155.f90
@@ -0,0 +1,29 @@
+! { dg-do run }
+!
+! Fix for PR68155 in which initializers of constant length, character
+! components of derived types were not being padded if they were too short.
+! Originally, mismatched lengths caused ICEs. This seems to have been fixed
+! in 9-branch.
+!
+! Contributed by Gerhard Steinmetz  <gerhard.steinmetz.fortran@t-online.de>
+!
+program p
+  implicit none
+  type t
+    character(3) :: c1(2) = [                 'b', 'c']          ! OK
+    character(3) :: c2(2) = [ character(1) :: 'b', 'c'] // ""    ! OK
+    character(3) :: c3(2) = [                 'b', 'c'] // ""    ! was not padded
+    character(3) :: c4(2) = [                 '' , '' ] // ""    ! was not padded
+    character(3) :: c5(2) = [                 'b', 'c'] // 'a'   ! was not padded
+    character(3) :: c6(2) = [                 'b', 'c'] // 'ax'  ! OK
+    character(3) :: c7(2) = [                 'b', 'c'] // 'axy' ! OK trimmed
+  end type t
+  type(t)      :: z
+  if (z%c1(2) .ne. 'c  ') stop 1
+  if (z%c2(2) .ne. 'c  ') stop 2
+  if (z%c3(2) .ne. 'c  ') stop 3
+  if (z%c4(2) .ne. '   ') stop 4
+  if (z%c5(2) .ne. 'ca ') stop 5
+  if (z%c6(2) .ne. 'cax') stop 6
+  if (z%c7(2) .ne. 'cax') stop 7
+end