[Bug fortran/103368] New: [11/12 Regression] ICE in gimplify_expr, at gimplify.c:15668

[Bug fortran/103368] New: [11/12 Regression] ICE in gimplify_expr, at gimplify.c:15668

[gscfq@t-online.de]

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

            Bug ID: 103368
           Summary: [11/12 Regression] ICE in gimplify_expr, at
                    gimplify.c:15668
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Changed between 20211017 and 20211024 :


$ cat z1.f90
program p
   type t
   end type
   type t2
      class(*), allocatable :: a
   end type
   type(t) :: x
   call sub (t2(x))
end


$ gfortran-12-20211017 -c z1.f90
z1.f90:8:16:

    8 |    call sub (t2(x))
      |                1
Error: Cannot convert TYPE(t) to CLASS(*) at (1)


$ gfortran-12-20211121 -c z1.f90
z1.f90:8:19:

    8 |    call sub (t2(x))
      |                   ^
internal compiler error: in gimplify_expr, at gimplify.c:15668
0xad2dc5 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gimplify.c:15668
0xad862b gimplify_modify_expr
        ../../gcc/gimplify.c:5983
0xad019a gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gimplify.c:14666
0xad2df8 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gimplify.c:7024
0xad0a6b gimplify_statement_list
        ../../gcc/gimplify.c:2012
0xad0a6b gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gimplify.c:15111
0xad2df8 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gimplify.c:7024
0xad3351 gimplify_bind_expr
        ../../gcc/gimplify.c:1426
0xad060a gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gimplify.c:14867
0xad2df8 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gimplify.c:7024
0xad0a6b gimplify_statement_list
        ../../gcc/gimplify.c:2012
0xad0a6b gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gimplify.c:15111
0xad2df8 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gimplify.c:7024
0xad3351 gimplify_bind_expr
        ../../gcc/gimplify.c:1426
0xad060a gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gimplify.c:14867
0xad2df8 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gimplify.c:7024
0xad3351 gimplify_bind_expr
        ../../gcc/gimplify.c:1426
0xad060a gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gimplify.c:14867
0xad2df8 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gimplify.c:7024
0xad3e6b gimplify_body(tree_node*, bool)
        ../../gcc/gimplify.c:15912

[Bug fortran/103368] [11/12 Regression] ICE in gimplify_expr, at gimplify.c:15668

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0
           Priority|P3                          |P4
           Keywords|                            |ice-on-invalid-code

[Bug fortran/103368] [11/12 Regression] ICE in gimplify_expr, at gimplify.c:15668 since r12-4464-g017665f63047ce47

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-11-23
             Status|UNCONFIRMED                 |NEW
            Summary|[11/12 Regression] ICE in   |[11/12 Regression] ICE in
                   |gimplify_expr, at           |gimplify_expr, at
                   |gimplify.c:15668            |gimplify.c:15668 since
                   |                            |r12-4464-g017665f63047ce47
     Ever confirmed|0                           |1
                 CC|                            |burnus at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-4464-g017665f63047ce47.

[Bug fortran/103368] [11/12 Regression] ICE in gimplify_expr, at gimplify.c:15668 since r12-4464-g017665f63047ce47

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|12.0                        |11.3

[Bug fortran/103368] [11/12 Regression] ICE in gimplify_expr, at gimplify.c:15668 since r12-4464-g017665f63047ce47

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.3                        |11.4

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 11.3 is being released, retargeting bugs to GCC 11.4.

[Bug fortran/103368] [11/12/13/14 Regression] ICE in gimplify_expr, at gimplify.c:15668 since r12-4464-g017665f63047ce47

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.4                        |11.5

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 11.4 is being released, retargeting bugs to GCC 11.5.

[Bug fortran/103368] [11/12/13 Regression] ICE in gimplify_expr, at gimplify.c:15668 since r12-4464-g017665f63047ce47

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |14.0
            Summary|[11/12/13/14 Regression]    |[11/12/13 Regression] ICE
                   |ICE in gimplify_expr, at    |in gimplify_expr, at
                   |gimplify.c:15668 since      |gimplify.c:15668 since
                   |r12-4464-g017665f63047ce47  |r12-4464-g017665f63047ce47

--- Comment #4 from anlauf at gcc dot gnu.org ---
Seems to ICE no longer at r14-9759, but 13-branch and older still fail.
Adjusting summary.

But is it really invalid code?  Intel and NAG accept it.

[Bug fortran/103368] [11/12/13 Regression] ICE in gimplify_expr, at gimplify.c:15668 since r12-4464-g017665f63047ce47

[jvdelisle at gcc dot gnu.org]

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

Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jvdelisle at gcc dot gnu.org

--- Comment #5 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
(In reply to anlauf from comment #4)
> Seems to ICE no longer at r14-9759, but 13-branch and older still fail.
> Adjusting summary.
> 
> But is it really invalid code?  Intel and NAG accept it.

I am not getting an ICE here. Until sub is defined or further definitions on
components to t or t2, I do not see a basis to reject anything or give a
diagnostic.