[Bug fortran/102332] New: ICE in select_type_set_tmp, at fortran/match.c:6366

[gscfq--- via Gcc-bugs]

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

            Bug ID: 102332
           Summary: ICE in select_type_set_tmp, at fortran/match.c:6366
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gs...@t-online.de
  Target Milestone: ---

With a missing attribute allocatable or pointer :
(down to at least r5)


$ cat z1.f90
program p
   type t
      real :: a, b
   end type
   class(t) :: x
   select type (y => x)
   type is (t)
      y%a = 0
   end select
end


$ cat z2.f90
program p
   type t
      real :: a, b
   end type
   class(t), allocatable :: x
   select type (y => x)
   type is (t)
      y%a = 0
   end select
end


$ gfortran-12-20210905 -c z2.f90   # ok
$
$ gfortran-12-20210905 -c z1.f90
f951: internal compiler error: Segmentation fault
0xd09e4f crash_signal
        ../../gcc/toplev.c:328
0x78fa67 select_type_set_tmp
        ../../gcc/fortran/match.c:6366
0x798bfc gfc_match_type_is()
        ../../gcc/fortran/match.c:6901
0x7b6e01 match_word
        ../../gcc/fortran/parse.c:65
0x7bc444 decode_statement
        ../../gcc/fortran/parse.c:572
0x7bcada next_free
        ../../gcc/fortran/parse.c:1384
0x7bcada next_statement
        ../../gcc/fortran/parse.c:1616
0x7bfe31 parse_select_type_block
        ../../gcc/fortran/parse.c:4526
0x7bfe31 parse_executable
        ../../gcc/fortran/parse.c:5737
0x7c108f parse_progunit
        ../../gcc/fortran/parse.c:6140
0x7c2771 gfc_parse_file()
        ../../gcc/fortran/parse.c:6655
0x80f57f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216