[Bug fortran/105152] New: [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647

[Bug fortran/105152] New: [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647

[gscfq@t-online.de]

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

            Bug ID: 105152
           Summary: [9/10/11/12 Regression] ICE in
                    gfc_conv_gfc_desc_to_cfi_desc, at
                    fortran/trans-expr.cc:5647
           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: ---

Started with r9 :


$ cat z1.f90
program p
   use iso_c_binding
   type, bind(c) :: t
      integer(c_int) :: a
   end type
   interface
      function f(x) bind(c) result(z)
         import :: c_int, t
         type(t) :: x(:)
         integer(c_int) :: z
      end
   end interface
   class(*), allocatable :: y(:)
   n = f(y)
end


$ cat z2.f90
program p
   use iso_c_binding
   type, bind(c) :: t
      integer(c_int) :: a
   end type
   class(*), allocatable :: y(:)
   n = f(y)
contains
   function f(x) bind(c) result(z)
      type(t) :: x(:)
      integer(c_int) :: z
   end
end


$ gfortran-8 -c z1.f90
$
$ gfortran-12-20220403 -c z1.f90
z1.f90:14:11:

   14 |    n = f(y)
      |           1
internal compiler error: in gfc_conv_gfc_desc_to_cfi_desc, at
fortran/trans-expr.cc:5647
0x7e2e52 gfc_conv_gfc_desc_to_cfi_desc
        ../../gcc/fortran/trans-expr.cc:5647
0x7e7042 gfc_conv_procedure_call(gfc_se*, gfc_symbol*, gfc_actual_arglist*,
gfc_expr*, vec<tree_node*, va_gc, vl_embed>*)
        ../../gcc/fortran/trans-expr.cc:6811
0x7dc7ba gfc_conv_expr(gfc_se*, gfc_expr*)
        ../../gcc/fortran/trans-expr.cc:9405
0x7edae1 gfc_trans_assignment_1
        ../../gcc/fortran/trans-expr.cc:11693
0x7ab6c7 trans_code
        ../../gcc/fortran/trans.cc:1916
0x7d4b7e gfc_generate_function_code(gfc_namespace*)
        ../../gcc/fortran/trans-decl.cc:7654
0x75734e translate_all_program_units
        ../../gcc/fortran/parse.cc:6669
0x75734e gfc_parse_file()
        ../../gcc/fortran/parse.cc:6956
0x7a47df gfc_be_parse_file
        ../../gcc/fortran/f95-lang.cc:216

[Bug fortran/105152] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-04-04
     Ever confirmed|0                           |1
           Priority|P3                          |P4

--- Comment #1 from anlauf at gcc dot gnu.org ---
Confirmed.

Actually we fail to diagnose the mismatch between actual and formal args
and accepts invalid code.  Just remove the bind(c) attribute to f in z2.

[Bug fortran/105152] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |9.5

[Bug fortran/105152] [9/10/11/12 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647 since r9-5372-gbbf18dc5d248a79a

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[9/10/11/12 Regression] ICE |[9/10/11/12 Regression] ICE
                   |in                          |in
                   |gfc_conv_gfc_desc_to_cfi_de |gfc_conv_gfc_desc_to_cfi_de
                   |sc, at                      |sc, at
                   |fortran/trans-expr.cc:5647  |fortran/trans-expr.cc:5647
                   |                            |since
                   |                            |r9-5372-gbbf18dc5d248a79a
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |pault at gcc dot gnu.org

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r9-5372-gbbf18dc5d248a79a.

[Bug fortran/105152] [10/11/12/13 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647 since r9-5372-gbbf18dc5d248a79a

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug fortran/105152] [10/11/12/13 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647 since r9-5372-gbbf18dc5d248a79a

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug fortran/105152] [10/11/12/13/14 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647 since r9-5372-gbbf18dc5d248a79a

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 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:6c95fe9bc0553743098eeaa739f14b885050fa42

commit r14-870-g6c95fe9bc0553743098eeaa739f14b885050fa42
Author: Paul Thomas <pault@gcc.gnu.org>
Date:   Tue May 16 06:35:40 2023 +0100

    Fortran: Fix an assortment of bugs

    2023-05-16  Paul Thomas  <pault@gcc.gnu.org>

    gcc/fortran
            PR fortran/105152
            * interface.cc (gfc_compare_actual_formal): Emit an error if an
            unlimited polymorphic actual is not matched either to an
            unlimited or assumed type formal argument.

            PR fortran/100193
            * resolve.cc (resolve_ordinary_assign): Emit an error if the
            var expression of an ordinary assignment is a proc pointer
            component.

            PR fortran/87496
            * trans-array.cc (gfc_walk_array_ref): Provide assumed shape
            arrays coming from interface mapping with a viable arrayspec.

            PR fortran/103389
            * trans-expr.cc (gfc_conv_intrinsic_to_class): Tidy up flagging
            of unlimited polymorphic 'class_ts'.
            (gfc_conv_gfc_desc_to_cfi_desc): Assumed type is unlimited
            polymorphic and should accept any actual type.

            PR fortran/104429
            (gfc_conv_procedure_call): Replace dreadful kludge with a call
            to gfc_finalize_tree_expr. Avoid dereferencing a void pointer
            by giving it the pointer type of the actual argument.

            PR fortran/82774
            (alloc_scalar_allocatable_subcomponent): Shorten the function
            name and replace the symbol argument with the se string length.
            If a deferred length character length is either not present or
            is not a variable, give the typespec a variable and assign the
            string length to that. Use gfc_deferred_strlen to find the
            hidden string length component.
            (gfc_trans_subcomponent_assign): Convert the expression before
            the call to alloc_scalar_allocatable_subcomponent so that a
            good string length is provided.
            (gfc_trans_structure_assign): Remove the unneeded derived type
            symbol from calls to gfc_trans_subcomponent_assign.

    gcc/testsuite/
            PR fortran/105152
            * gfortran.dg/pr105152.f90 : New test

            PR fortran/100193
            * gfortran.dg/pr100193.f90 : New test

            PR fortran/87946
            * gfortran.dg/pr87946.f90 : New test

            PR fortran/103389
            * gfortran.dg/pr103389.f90 : New test

            PR fortran/104429
            * gfortran.dg/pr104429.f90 : New test

            PR fortran/82774
            * gfortran.dg/pr82774.f90 : New test

[Bug fortran/105152] [10/11/12/13/14 Regression] ICE in gfc_conv_gfc_desc_to_cfi_desc, at fortran/trans-expr.cc:5647 since r9-5372-gbbf18dc5d248a79a

[pault at gcc dot gnu.org]

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

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> ---
Fixed on trunk. I will back port to 13-branch in 2-3 weeks time.

Thanks for the report

Paul