[Bug fortran/101728] New: ICE in initialize_inlined_parameters, at tree-inline.c:3644

[Bug fortran/101728] New: ICE in initialize_inlined_parameters, at tree-inline.c:3644

[gscfq@t-online.de]

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

            Bug ID: 101728
           Summary: ICE in initialize_inlined_parameters, at
                    tree-inline.c:3644
           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: ---

Code with a potential name conflict (interface s
versus contained subroutine s, but ifort/ifx accepts it)
affects versions down to at least r5, at -O1+ :


$ cat z1.f90
module m
   implicit none
   interface s
      subroutine g
      end
   end interface
contains
   subroutine u
      call s
   end
   subroutine v
      integer :: n
      n = 1
      call s
   contains
      subroutine s
         n = 2
      end
   end
end


$ gfortran-12-20210801 -c z1.f90
$
$ gfortran-12-20210801 -c z1.f90 -O1
during IPA pass: inline
z1.f90:9:12:

    9 |       call s
      |            ^
internal compiler error: in initialize_inlined_parameters, at
tree-inline.c:3644
0xe8bc94 initialize_inlined_parameters
        ../../gcc/tree-inline.c:3644
0xe8bc94 expand_call_inline
        ../../gcc/tree-inline.c:4982
0xe8c639 gimple_expand_calls_inline
        ../../gcc/tree-inline.c:5285
0xe8c639 optimize_inline_calls(tree_node*)
        ../../gcc/tree-inline.c:5458
0xb746ab inline_transform(cgraph_node*)
        ../../gcc/ipa-inline-transform.c:790
0xcf0439 execute_one_ipa_transform_pass
        ../../gcc/passes.c:2290
0xcf0439 execute_all_ipa_transforms(bool)
        ../../gcc/passes.c:2337
0x900865 cgraph_node::expand()
        ../../gcc/cgraphunit.c:1821
0x9021c6 expand_all_functions
        ../../gcc/cgraphunit.c:1992
0x9021c6 symbol_table::compile()
        ../../gcc/cgraphunit.c:2356
0x9057df symbol_table::compile()
        ../../gcc/cgraphunit.c:2540
0x9057df symbol_table::finalize_compilation_unit()
        ../../gcc/cgraphunit.c:2537

[Bug fortran/101728] ICE in initialize_inlined_parameters, at tree-inline.c:3644

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
So it looks like gfortran calls the nested 's' from 'u' which of course is
invalid?

[Bug fortran/101728] ICE in initialize_inlined_parameters, at tree-inline.c:3644

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-08-09
             Status|UNCONFIRMED                 |NEW
                 CC|                            |anlauf at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from anlauf at gcc dot gnu.org ---
(In reply to Richard Biener from comment #1)
> So it looks like gfortran calls the nested 's' from 'u' which of course is
> invalid?

Right.

But interchanging the order of subroutines u and v seems to resolve the issue.

Possibly a namespace issue?