[Bug fortran/100027] ICE on storage_size with polymorphic argument

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r13-8897-gb1429ddd7f20a5c88b65d8de38d64c98c4820782
Author: Paul Thomas <pault@gcc.gnu.org>
Date:   Sun May 12 06:59:45 2024 +0100

    Fortran: Unlimited polymorphic intrinsic function arguments [PR84006]

    2024-05-12  Paul Thomas  <pault@gcc.gnu.org>

    gcc/fortran
            PR fortran/84006
            PR fortran/100027
            PR fortran/98534
            * iresolve.cc (gfc_resolve_transfer): Emit a TODO error for
            unlimited polymorphic mold.
            * trans-expr.cc (gfc_resize_class_size_with_len): Use the fold
            even if a block is not available in which to fix the result.
            (trans_class_assignment): Enable correct assignment of
            character expressions to unlimited polymorphic variables using
            lhs _len field and rse string_length.
            * trans-intrinsic.cc (gfc_conv_intrinsic_storage_size): Extract
            the class expression so that the unlimited polymorphic class
            expression can be used in gfc_resize_class_size_with_len to
            obtain the storage size for character payloads. Guard the use
            of GFC_DECL_SAVED_DESCRIPTOR by testing for DECL_LANG_SPECIFIC
            to prevent the ICE. Also, invert the order to use the class
            expression extracted from the argument.
            (gfc_conv_intrinsic_transfer): In same way as 'storage_size',
            use the _len field to obtaining the correct length for arg 1.
            Add a branch for the element size in bytes of class expressions
            with provision to make use of the unlimited polymorphic _len
            field. Again, the class references are explicitly identified.
            'mold_expr' was already declared. Use it instead of 'arg'. Do
            not fix 'dest_word_len' for deferred character sources because
            reallocation on assign makes use of it before it is assigned.

    gcc/testsuite/
            PR fortran/84006
            PR fortran/100027
            * gfortran.dg/storage_size_7.f90: New test.

            PR fortran/98534
            * gfortran.dg/transfer_class_4.f90: New test.

    (cherry picked from commit b9294757f82aae8de6d98c122cd4e3b98f685217)