From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 46C093849AF0; Sun, 12 May 2024 06:00:00 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 46C093849AF0
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1715493600;
	bh=PnaYwtn/J65pGLM/+KY1ZFbjH4w3B/Tz6EjdeW1H4bY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=B/nhqD4CQs+IjrfF77eFyBAB28hT8rSuusFKtrNCd1KIBrCJ/A9U5gCopMiKcND0t
	 QdERGClfSm3PZakJyaxlQrgLtWFhifypa2hhLBJ7tmF8vqJ7wEDaA3DTi6gYrDliJR
	 CMl3UkXqLy2CY958XI/lGdJ6ODe7GITfn+NTI/M0=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/100027] ICE on storage_size with polymorphic argument
Date: Sun, 12 May 2024 05:59:59 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 11.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-100027-4-rzffWJDvJ0@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-100027-4@http.gcc.gnu.org/bugzilla/>
References: <bug-100027-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

--- 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:b9294757f82aae8de6d98c122cd4e3b98f685217

commit r15-386-gb9294757f82aae8de6d98c122cd4e3b98f685217
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.=