[Bug fortran/103389] New: [9/10/11/12 Regression] ICE in estimate_move_cost, at tree-inline.c:4191

[Bug fortran/103389] New: [9/10/11/12 Regression] ICE in estimate_move_cost, at tree-inline.c:4191

[gscfq@t-online.de]

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

            Bug ID: 103389
           Summary: [9/10/11/12 Regression] ICE in estimate_move_cost, at
                    tree-inline.c:4191
           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: ---

Starts with r7 (changed in r9 between 20190127 and 20190203) :


$ cat z1.f90
program p
   type t
      real, allocatable :: a(:)
   end type
   type(t) :: y
   call s((y))
contains
   subroutine s(x)
      class(*) :: x
   end
end


$ gfortran-9-20190127 -c z1.f90
$
$ gfortran-12-20211121 -c z1.f90
during GIMPLE pass: local-fnsummary
z1.f90:6:14:

    6 |    call s((y))
      |              ^
internal compiler error: in estimate_move_cost, at tree-inline.c:4191
0xdccbff estimate_move_cost(tree_node*, bool)
        ../../gcc/tree-inline.c:4191
0xdcd054 estimate_num_insns(gimple*, eni_weights*)
        ../../gcc/tree-inline.c:4421
0xb2c7fc analyze_function_body
        ../../gcc/ipa-fnsummary.c:2746
0xb2f6cf compute_fn_summary(cgraph_node*, bool)
        ../../gcc/ipa-fnsummary.c:3191
0xb2fe4c compute_fn_summary_for_current
        ../../gcc/ipa-fnsummary.c:3221
0xb2fe4c execute
        ../../gcc/ipa-fnsummary.c:4829

[Bug fortran/103389] [9/10/11/12 Regression] ICE in estimate_move_cost, at tree-inline.c:4191

[gscfq@t-online.de]

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

G. Steinmetz <gscfq@t-online.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code

--- Comment #1 from G. Steinmetz <gscfq@t-online.de> ---

Compiles :

$ cat z2.f90
program p
   type t
      real, allocatable :: a(:)
   end type
   type(t) :: y
   call s(y)
contains
   subroutine s(x)
      class(*) :: x
   end
end

[Bug fortran/103389] [9/10/11/12 Regression] ICE in estimate_move_cost, at tree-inline.c:4191 since r9-5784-ga3df90b9672562d0

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-11-24
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |pault at gcc dot gnu.org
            Summary|[9/10/11/12 Regression] ICE |[9/10/11/12 Regression] ICE
                   |in estimate_move_cost, at   |in estimate_move_cost, at
                   |tree-inline.c:4191          |tree-inline.c:4191 since
                   |                            |r9-5784-ga3df90b9672562d0

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

[Bug fortran/103389] [9/10/11/12 Regression] ICE in estimate_move_cost, at tree-inline.c:4191 since r9-5784-ga3df90b9672562d0

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |9.5
           Priority|P3                          |P4

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
# VUSE <.MEM_29>
_31 = *_1;
(gdb) p debug_tree ($2)
 <mem_ref 0x7ffff6351140
    type <void_type 0x7ffff655af18 void VOID

so we're dereferencing a void pointer.

[Bug fortran/103389] [10/11/12/13 Regression] ICE in estimate_move_cost, at tree-inline.c:4191 since r9-5784-ga3df90b9672562d0

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug fortran/103389] [10/11/12/13 Regression] ICE in estimate_move_cost, at tree-inline.c:4191 since r9-5784-ga3df90b9672562d0

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug fortran/103389] [10/11/12/13/14 Regression] ICE in estimate_move_cost, at tree-inline.c:4191 since r9-5784-ga3df90b9672562d0

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 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/103389] [10/11/12/13/14 Regression] ICE in estimate_move_cost, at tree-inline.c:4191 since r9-5784-ga3df90b9672562d0

[pault at gcc dot gnu.org]

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

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

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

--- Comment #7 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