[Bug fortran/104684] New: ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref')

[Bug fortran/104684] New: ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref')

[asolokha at gmx dot com]

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

            Bug ID: 104684
           Summary: ICE: 'verify_gimple' failed (Error: non-trivial
                    conversion in 'component_ref')
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gfortran-12.0.1 20220220 snapshot (g:e49508ac6b36adb8a2056c5a1fb6e0178de2439d)
ICEs when compiling the following testcase, reduced from
gfortran-bugs/gfortran-20220127.f90 from the Neil Carlson's Fortran Compiler
Tests repository[1], w/ -fcoarray=single or -fcoarray=none:

program main
  type :: index_map
    integer, allocatable :: send_index(:)
  end type
  type(index_map) :: imap
contains
  subroutine sub(this)
    type(index_map), intent(inout), target :: this
    type :: box
      integer, pointer :: array(:)
    end type
    type(box), allocatable :: buffer[:]
    allocate(buffer[*])
    buffer%array => this%send_index
  end subroutine
end program

% gfortran-12.0.1 -fcoarray=single -c ft2kqibk.f90
ft2kqibk.f90:7:16:

    7 |   subroutine sub(this)
      |                ^
Error: non-trivial conversion in 'component_ref'
struct array02_integer(kind=4)
struct array01_integer(kind=4)
MEM[(struct box *)_5].array = this->send_index;
ft2kqibk.f90:7:16: internal compiler error: 'verify_gimple' failed
0xf9af9d verify_gimple_in_seq(gimple*)
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/tree-cfg.cc:5213
0xc8b185 gimplify_body(tree_node*, bool)
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/gimplify.cc:16313
0xc8b34c gimplify_function_tree(tree_node*)
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/gimplify.cc:16384
0xfffc18 gimplify_all_functions
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/tree-nested.cc:3703
0xfffc07 gimplify_all_functions
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/tree-nested.cc:3707
0x1005f40 lower_nested_functions(tree_node*)
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/tree-nested.cc:3724
0xaa3143 cgraph_node::analyze()
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/cgraphunit.cc:681
0xaa6047 analyze_functions
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/cgraphunit.cc:1240
0xaa6ced symbol_table::finalize_compilation_unit()
       
/var/tmp/portage/sys-devel/gcc-12.0.1_p20220220/work/gcc-12-20220220/gcc/cgraphunit.cc:2500

I tent to believe that this issue is distinct from the one reported in PR95338.

[1] https://github.com/nncarlson/fortran-compiler-tests

[Bug fortran/104684] [9/10/11/12 Regression] ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref') since r7-5771-gde91486c745d5ff6

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |vehre at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|ICE: 'verify_gimple' failed |[9/10/11/12 Regression]
                   |(Error: non-trivial         |ICE: 'verify_gimple' failed
                   |conversion in               |(Error: non-trivial
                   |'component_ref')            |conversion in
                   |                            |'component_ref') since
                   |                            |r7-5771-gde91486c745d5ff6
   Last reconfirmed|                            |2022-02-25

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r7-5771-gde91486c745d5ff6.

[Bug fortran/104684] [9/10/11/12 Regression] ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref') since r7-5771-gde91486c745d5ff6

[rguenth at gcc dot gnu.org]

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

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

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

[Bug fortran/104684] [10/11/12/13 Regression] ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref') since r7-5771-gde91486c745d5ff6

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug fortran/104684] [10/11/12/13 Regression] ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref') since r7-5771-gde91486c745d5ff6

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug fortran/104684] [10/11/12/13 Regression] ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref') since r7-5771-gde91486c745d5ff6

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #4 from anlauf at gcc dot gnu.org ---
Interesting.

Replacing

    buffer%array => this%send_index

by

    buffer%array => this%send_index(:)

avoids the ICE.

[Bug fortran/104684] [10/11/12/13 Regression] ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref') since r7-5771-gde91486c745d5ff6

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #5 from anlauf at gcc dot gnu.org ---
(In reply to anlauf from comment #4)
> Replacing
> 
>     buffer%array => this%send_index
> 
> by
> 
>     buffer%array => this%send_index(:)
> 
> avoids the ICE.

but the semantically equivalent replacement reads:

    buffer%array(lbound(this%send_index,1):) => this%send_index(:)

which also compiles.

[Bug fortran/104684] [11/12/13/14 Regression] ICE: 'verify_gimple' failed (Error: non-trivial conversion in 'component_ref') since r7-5771-gde91486c745d5ff6

[rguenth at gcc dot gnu.org]

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

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

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

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