diff options
| author | Paul Thomas <pault@gcc.gnu.org> | 2025-09-02 21:48:55 +0100 |
|---|---|---|
| committer | Paul Thomas <pault@gcc.gnu.org> | 2025-09-02 21:48:55 +0100 |
| commit | 2d93be8907fa33f8791409490ed06e45de5c8420 (patch) | |
| tree | c7c3d248998e163883dd4e6e6e4bb63a4b8dcbfa /gcc/fortran | |
| parent | 4ce7722c02e449b5f9947a255705502d13632c90 (diff) | |
| download | gcc-2d93be8907fa33f8791409490ed06e45de5c8420.zip gcc-2d93be8907fa33f8791409490ed06e45de5c8420.tar.gz gcc-2d93be8907fa33f8791409490ed06e45de5c8420.tar.bz2 | |
Fortran: Handle PDTs correctly with unlimited selector [PR87669]
2025-09-02 Paul Thomas <pault@gcc.gnu.org>
gcc/fortran
PR fortran/87669
* expr.cc (gfc_spec_list_type): If no LEN components are seen,
unconditionally return 'SPEC_ASSUMED'. This suppresses an
invalid error in match.cc(gfc_match_type_is).
gcc/testsuite/
PR fortran/87669
* gfortran.dg/pdt_42.f03: New test.
libgfortran/
PR fortran/87669
* intrinsics/extends_type_of.c (is_extension_of): Use the vptr
rather than the hash value to identify the types.
Diffstat (limited to 'gcc/fortran')
| -rw-r--r-- | gcc/fortran/expr.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/fortran/expr.cc b/gcc/fortran/expr.cc index b8d04ff..97f931a 100644 --- a/gcc/fortran/expr.cc +++ b/gcc/fortran/expr.cc @@ -5911,6 +5911,7 @@ gfc_spec_list_type (gfc_actual_arglist *param_list, gfc_symbol *derived) gfc_component *c; bool seen_assumed = false; bool seen_deferred = false; + bool seen_len = false; if (derived == NULL) { @@ -5932,10 +5933,12 @@ gfc_spec_list_type (gfc_actual_arglist *param_list, gfc_symbol *derived) return SPEC_EXPLICIT; seen_assumed = param_list->spec_type == SPEC_ASSUMED; seen_deferred = param_list->spec_type == SPEC_DEFERRED; + if (c->attr.pdt_len) + seen_len = true; if (seen_assumed && seen_deferred) return SPEC_EXPLICIT; } - res = seen_assumed ? SPEC_ASSUMED : SPEC_DEFERRED; + res = (seen_assumed || !seen_len) ? SPEC_ASSUMED : SPEC_DEFERRED; } return res; } |