* [Bug fortran/103366] [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
@ 2021-11-23 7:33 ` rguenth at gcc dot gnu.org
2021-11-23 7:56 ` marxin at gcc dot gnu.org
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-11-23 7:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |12.0
Priority|P3 |P4
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
2021-11-23 7:33 ` [Bug fortran/103366] " rguenth at gcc dot gnu.org
@ 2021-11-23 7:56 ` marxin at gcc dot gnu.org
2021-11-23 8:01 ` pinskia at gcc dot gnu.org
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-11-23 7:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-11-23
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
CC| |marxin at gcc dot gnu.org,
| |pault at gcc dot gnu.org
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r9-5372-gbbf18dc5d248a79a.
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
2021-11-23 7:33 ` [Bug fortran/103366] " rguenth at gcc dot gnu.org
2021-11-23 7:56 ` marxin at gcc dot gnu.org
@ 2021-11-23 8:01 ` pinskia at gcc dot gnu.org
2021-11-23 8:10 ` marxin at gcc dot gnu.org
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-23 8:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #1)
> Started with r9-5372-gbbf18dc5d248a79a.
Are you sure?
Because the reporter said this:
> This changed between 20211017 and 20211024 :
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (2 preceding siblings ...)
2021-11-23 8:01 ` pinskia at gcc dot gnu.org
@ 2021-11-23 8:10 ` marxin at gcc dot gnu.org
2021-11-23 8:12 ` [Bug fortran/103366] [9/10/11/12 " pinskia at gcc dot gnu.org
` (9 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-11-23 8:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #2)
> (In reply to Martin Liška from comment #1)
> > Started with r9-5372-gbbf18dc5d248a79a.
>
> Are you sure?
Yes, I am.
> Because the reporter said this:
> > This changed between 20211017 and 20211024 :
It's true with disabled checking.
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (3 preceding siblings ...)
2021-11-23 8:10 ` marxin at gcc dot gnu.org
@ 2021-11-23 8:12 ` pinskia at gcc dot gnu.org
2022-01-03 9:15 ` pault at gcc dot gnu.org
` (8 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-23 8:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-checking,
| |ice-on-valid-code
Summary|[12 Regression] ICE in |[9/10/11/12 Regression] ICE
|gfc_conv_gfc_desc_to_cfi_de |in
|sc, at |gfc_conv_gfc_desc_to_cfi_de
|fortran/trans-expr.c:5647 |sc, at
| |fortran/trans-expr.c:5647
Target Milestone|12.0 |9.5
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (4 preceding siblings ...)
2021-11-23 8:12 ` [Bug fortran/103366] [9/10/11/12 " pinskia at gcc dot gnu.org
@ 2022-01-03 9:15 ` pault at gcc dot gnu.org
2022-01-03 11:55 ` pault at gcc dot gnu.org
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pault at gcc dot gnu.org @ 2022-01-03 9:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #3)
> (In reply to Andrew Pinski from comment #2)
> > (In reply to Martin Liška from comment #1)
> > > Started with r9-5372-gbbf18dc5d248a79a.
> >
> > Are you sure?
>
> Yes, I am.
>
> > Because the reporter said this:
> > > This changed between 20211017 and 20211024 :
>
> It's true with disabled checking.
ifort 2021.1 Beta 20201112 gives:
../pr103366/pr103366.f90(8): error #8769: If the actual argument is unlimited
polymorphic, the corresponding dummy argument must also be unlimited
polymorphic. [X]
call s(x)
-------------^
../pr103366/pr103366.f90(8): error #8788: This assumed-size or nonallocatable
nonpointer assumed-rank array is an actual argument corresponding to an
INTENT(OUT) assumed-rank array dummy so it cannot be polymorphic, finalizable,
have an allocatable ultimate component, or have default initialization. [X]
call s(x)
-------------^
compilation aborted for ../pr103366/pr103366.f90 (code 1)
Paul
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (5 preceding siblings ...)
2022-01-03 9:15 ` pault at gcc dot gnu.org
@ 2022-01-03 11:55 ` pault at gcc dot gnu.org
2022-01-03 12:33 ` pault at gcc dot gnu.org
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pault at gcc dot gnu.org @ 2022-01-03 11:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
--- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to Paul Thomas from comment #4)
> (In reply to Martin Liška from comment #3)
> > (In reply to Andrew Pinski from comment #2)
> > > (In reply to Martin Liška from comment #1)
> > > > Started with r9-5372-gbbf18dc5d248a79a.
> > >
> > > Are you sure?
> >
> > Yes, I am.
> >
> > > Because the reporter said this:
> > > > This changed between 20211017 and 20211024 :
> >
> > It's true with disabled checking.
>
> ifort 2021.1 Beta 20201112 gives:
> ../pr103366/pr103366.f90(8): error #8769: If the actual argument is
> unlimited polymorphic, the corresponding dummy argument must also be
> unlimited polymorphic. [X]
> call s(x)
> -------------^
> ../pr103366/pr103366.f90(8): error #8788: This assumed-size or
> nonallocatable nonpointer assumed-rank array is an actual argument
> corresponding to an INTENT(OUT) assumed-rank array dummy so it cannot be
> polymorphic, finalizable, have an allocatable ultimate component, or have
> default initialization. [X]
> call s(x)
> -------------^
> compilation aborted for ../pr103366/pr103366.f90 (code 1)
>
> Paul
>From F2017: 15.5.2.5
The actual argument shall be polymorphic if and only if the associated dummy
argument is polymorphic, and either both the actual and dummy arguments shall
be unlimited polymorphic, or the declared type of the actual argument shall be
the same as the declared type of the dummy argument.
As yet, I have not found the constraints leading to the second error.
Cheers
Paul
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (6 preceding siblings ...)
2022-01-03 11:55 ` pault at gcc dot gnu.org
@ 2022-01-03 12:33 ` pault at gcc dot gnu.org
2022-01-06 1:07 ` sandra at gcc dot gnu.org
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pault at gcc dot gnu.org @ 2022-01-03 12:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> ---
> From F2017: 15.5.2.5
> The actual argument shall be polymorphic if and only if the associated dummy
> argument is polymorphic, and either both the actual and dummy arguments
> shall be unlimited polymorphic, or the declared type of the actual argument
> shall be the same as the declared type of the dummy argument.
>
> As yet, I have not found the constraints leading to the second error.
>
> Cheers
>
> Paul
Sorry, cancel that.
>From 7.3.2.2:
.....
3 An entity that is declared using the TYPE(*) type specifier is assumed-type
and is an unlimited polymorphic entity.....
This fixes the problem (my trans-expr.c has a rather substantial patch applied
at the moment):
case BT_CLASS:
if (UNLIMITED_POLY (e)) // Compatible with TYPE(*)
{
itype = CFI_type_other; // FIXME: Or CFI_type_cptr ?
break;
}
else
gcc_unreachable ();
case BT_PROCEDURE:
case BT_HOLLERITH:
case BT_UNION:
case BT_BOZ:
case BT_UNKNOWN:
// FIXME: Really unreachable? Or reachable for type(*) ? If so,
CFI_type_other?
gcc_unreachable (); // This is where the ICE occurred.
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (7 preceding siblings ...)
2022-01-03 12:33 ` pault at gcc dot gnu.org
@ 2022-01-06 1:07 ` sandra at gcc dot gnu.org
2022-01-10 16:55 ` cvs-commit at gcc dot gnu.org
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: sandra at gcc dot gnu.org @ 2022-01-06 1:07 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
--- Comment #7 from sandra at gcc dot gnu.org ---
The proposed patch looks reasonable to me.
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (8 preceding siblings ...)
2022-01-06 1:07 ` sandra at gcc dot gnu.org
@ 2022-01-10 16:55 ` cvs-commit at gcc dot gnu.org
2022-05-27 9:46 ` [Bug fortran/103366] [10/11/12/13 " rguenth at gcc dot gnu.org
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-01-10 16:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
--- Comment #8 from CVS 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:828474fafd2ed33430172fe227f9da7d6fb98723
commit r12-6419-g828474fafd2ed33430172fe227f9da7d6fb98723
Author: Paul Thomas <pault@gcc.gnu.org>
Date: Mon Jan 10 16:54:53 2022 +0000
Fortran: Pass unlimited polymorphic argument to assumed type [PR103366].
2022-01-10 Paul Thomas <pault@gcc.gnu.org>
gcc/fortran
PR fortran/103366
* trans-expr.c (gfc_conv_gfc_desc_to_cfi_desc): Allow unlimited
polymorphic actual argument passed to assumed type formal.
gcc/testsuite/
PR fortran/103366
* gfortran.dg/pr103366.f90: New test.
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [10/11/12/13 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (9 preceding siblings ...)
2022-01-10 16:55 ` cvs-commit at gcc dot gnu.org
@ 2022-05-27 9:46 ` rguenth at gcc dot gnu.org
2022-06-28 10:47 ` jakub at gcc dot gnu.org
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-05-27 9:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|9.5 |10.4
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [10/11/12/13 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (10 preceding siblings ...)
2022-05-27 9:46 ` [Bug fortran/103366] [10/11/12/13 " rguenth at gcc dot gnu.org
@ 2022-06-28 10:47 ` jakub at gcc dot gnu.org
2022-07-13 19:16 ` anlauf at gcc dot gnu.org
2023-04-19 9:19 ` [Bug fortran/103366] [10/11/12/13/14 " pault at gcc dot gnu.org
13 siblings, 0 replies; 15+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-06-28 10:47 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.4 |10.5
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [10/11/12/13 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (11 preceding siblings ...)
2022-06-28 10:47 ` jakub at gcc dot gnu.org
@ 2022-07-13 19:16 ` anlauf at gcc dot gnu.org
2023-04-19 9:19 ` [Bug fortran/103366] [10/11/12/13/14 " pault at gcc dot gnu.org
13 siblings, 0 replies; 15+ messages in thread
From: anlauf at gcc dot gnu.org @ 2022-07-13 19:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |anlauf at gcc dot gnu.org
Status|NEW |WAITING
--- Comment #11 from anlauf at gcc dot gnu.org ---
(In reply to CVS Commits from comment #8)
> The master branch has been updated by Paul Thomas <pault@gcc.gnu.org>:
>
> https://gcc.gnu.org/g:828474fafd2ed33430172fe227f9da7d6fb98723
>
> commit r12-6419-g828474fafd2ed33430172fe227f9da7d6fb98723
This patch is installed for 12-branch and 13-trunk. The surrounding code
was added during 12 development, so a backport would not be possible.
Can we mark this fixed for 12/13?
Does it still occur in 10/11?
Should we set the target milestone to 12.2 and close this PR?
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug fortran/103366] [10/11/12/13/14 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647
2021-11-22 19:38 [Bug fortran/103366] New: [12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.c:5647 gscfq@t-online.de
` (12 preceding siblings ...)
2022-07-13 19:16 ` anlauf at gcc dot gnu.org
@ 2023-04-19 9:19 ` pault at gcc dot gnu.org
13 siblings, 0 replies; 15+ messages in thread
From: pault at gcc dot gnu.org @ 2023-04-19 9:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103366
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution|--- |FIXED
Target Milestone|10.5 |12.3
--- Comment #12 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to anlauf from comment #11)
> (In reply to CVS Commits from comment #8)
> > The master branch has been updated by Paul Thomas <pault@gcc.gnu.org>:
> >
> > https://gcc.gnu.org/g:828474fafd2ed33430172fe227f9da7d6fb98723
> >
> > commit r12-6419-g828474fafd2ed33430172fe227f9da7d6fb98723
>
> This patch is installed for 12-branch and 13-trunk. The surrounding code
> was added during 12 development, so a backport would not be possible.
>
> Can we mark this fixed for 12/13?
>
> Does it still occur in 10/11?
>
> Should we set the target milestone to 12.2 and close this PR?
It still occurs in 10-/11-branches. However, as you say, a backport will be
"slightly impossible".
Closing as fixed.
Paul
^ permalink raw reply [flat|nested] 15+ messages in thread