[Bug fortran/99254] New: ICE in select_rank_set_tmp, at fortran/match.c:6568

[Bug fortran/99254] New: ICE in select_rank_set_tmp, at fortran/match.c:6568

[gscfq@t-online.de]

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

            Bug ID: 99254
           Summary: ICE in select_rank_set_tmp, at fortran/match.c:6568
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started between 20190825 and 20190901, affects r10/r11 :


$ cat z1.f90
subroutine s
   class(*) :: x(..)
   select rank (y => x)
   rank (1)
   end select
end


$ gfortran-11-20210221 -c z1.f90
f951: internal compiler error: Segmentation fault
0xda031f crash_signal
        ../../gcc/toplev.c:327
0x6fa137 select_rank_set_tmp
        ../../gcc/fortran/match.c:6568
0x6fa137 gfc_match_rank_is()
        ../../gcc/fortran/match.c:7076
0x715ac1 match_word
        ../../gcc/fortran/parse.c:65
0x71a562 decode_statement
        ../../gcc/fortran/parse.c:550
0x71aa7c next_free
        ../../gcc/fortran/parse.c:1316
0x71aa7c next_statement
        ../../gcc/fortran/parse.c:1548
0x71dbee parse_select_rank_block
        ../../gcc/fortran/parse.c:4421
0x71dbee parse_executable
        ../../gcc/fortran/parse.c:5540
0x71ef5f parse_progunit
        ../../gcc/fortran/parse.c:5922
0x720960 gfc_parse_file()
        ../../gcc/fortran/parse.c:6444
0x76dbcf gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:212

[Bug fortran/99254] ICE in select_rank_set_tmp, at fortran/match.c:6568

[gscfq@t-online.de]

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

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

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

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

Following z3 is correct, z2 is detected :

$ cat z2.f90
subroutine s
   class(*), allocatable :: x(..)
   select rank (y => x)
   rank (1)
   end select
end

$ cat z3.f90
subroutine s(x)
   class(*) :: x(..)
   select rank (y => x)
   rank (1)
   end select
end


$ gfortran-11-20210221 -c z3.f90
$ gfortran-11-20210221 -c z2.f90
z2.f90:2:33:

    2 |    class(*), allocatable :: x(..)
      |                                 1
Error: Assumed-rank array at (1) must be a dummy argument

[Bug fortran/99254] ICE in select_rank_set_tmp, at fortran/match.c:6568

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
                 CC|                            |burnus at gcc dot gnu.org
   Last reconfirmed|                            |2021-02-25

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
See PR99266 for a lot of issues with CLASS – found when looking at this issue.

Patch to fix this issue (and introducing a minor regression, cf. ↑):
https://gcc.gnu.org/pipermail/gcc-patches/2021-February/565853.html

[Bug fortran/99254] ICE in select_rank_set_tmp, at fortran/match.c:6568

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |pault at gcc dot gnu.org

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r10-2912-g70570ec192745095.