[Bug fortran/112460] [PDT] ICE with parameterized derived types (incorrect code, should be rejected)

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112460

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Paul Thomas <pault@gcc.gnu.org>:

https://gcc.gnu.org/g:fdfb0452237d10afd3488b08ec84237a1f4e7bff

commit r16-6735-gfdfb0452237d10afd3488b08ec84237a1f4e7bff
Author: Paul Thomas <pault@gcc.gnu.org>
Date:   Tue Jan 13 08:19:05 2026 +0000

    Fortran: Check constant PDT type specification parameters [PR112460]

    2026-01-14  Paul Thomas  <pault@gcc.gnu.org>

    gcc/fortran
            PR fortran/112460
            * array.cc (resolve_array_list): Stash the first PDT element
            and check its type specification parameters against those of
            subsequent elements.
            * expr.cc (get_parm_list_from_expr): New function to extract the
            type spec lists from expressions to be compared.
            (gfc_check_type_spec_parms): New function to compare type spec
            lists between two expressions. Emit an error if any constant
            values are different.
            (gfc_check_assign): Check that the PDT type specification parms
            are the same on lhs and rhs.
            * gfortran.h : Add prototype for gfc_check_type_spec_parms.
            * trans-expr.cc (copyable_array_p): PDT arrays are not copyable

    gcc/testsuite
            PR fortran/112460
            * gfortran.dg/pdt_81.f03: New test.