public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: Paul Thomas <pault@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-7833] Fortran: Pad mismatched charlens in component initializers [PR68155] Date: Sun, 24 Sep 2023 14:26:12 +0000 (GMT) [thread overview] Message-ID: <20230924142612.E76583858D32@sourceware.org> (raw) 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
reply other threads:[~2023-09-24 14:26 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20230924142612.E76583858D32@sourceware.org \ --to=pault@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).