[Bug fortran/104650] New: [PDT] ICE in gfc_resolve_finalizers, at fortran/resolve.cc:13749

[Bug fortran/104650] New: [PDT] ICE in gfc_resolve_finalizers, at fortran/resolve.cc:13749

[gscfq@t-online.de]

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

            Bug ID: 104650
           Summary: [PDT] ICE in gfc_resolve_finalizers, at
                    fortran/resolve.cc:13749
           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: ---

Affects versions down to r8 :


$ cat z1.f90
module m
   type t
   contains
      final :: s
   end type
   type t2(n)
      integer, len :: n = 1
      type(t) :: a
   end type
contains
   subroutine s(x)
      type(t) :: x
   end
end


$ gfortran-12-20220220 -c z1.f90
f951: internal compiler error: Segmentation fault
0xcc909f crash_signal
        ../../gcc/toplev.cc:322
0x75af00 gfc_resolve_finalizers
        ../../gcc/fortran/resolve.cc:13749
0x772aed resolve_fl_derived
        ../../gcc/fortran/resolve.cc:15112
0x76c5e7 resolve_symbol
        ../../gcc/fortran/resolve.cc:15504
0x78b832 do_traverse_symtree
        ../../gcc/fortran/symbol.cc:4174
0x76fb94 resolve_types
        ../../gcc/fortran/resolve.cc:17454
0x76b02c gfc_resolve(gfc_namespace*)
        ../../gcc/fortran/resolve.cc:17569
0x753162 gfc_parse_file()
        ../../gcc/fortran/parse.cc:6792
0x7a0a5f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.cc:216

[Bug fortran/104650] [PDT] ICE in gfc_resolve_finalizers, at fortran/resolve.cc:13749

[gscfq@t-online.de]

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

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

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

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

This slightly modified variant compiles :


$ cat z2.f90
module m
   type t
   contains
      final :: s
   end type
   type t2
      integer :: n = 1
      type(t) :: a
   end type
contains
   subroutine s(x)
      type(t) :: x
   end
end

[Bug fortran/104650] [PDT] ICE in gfc_resolve_finalizers, at fortran/resolve.cc:13749 since r8-3056-g5bab4c9631c478b7

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-02-24
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |pault at gcc dot gnu.org
            Summary|[PDT] ICE in                |[PDT] ICE in
                   |gfc_resolve_finalizers, at  |gfc_resolve_finalizers, at
                   |fortran/resolve.cc:13749    |fortran/resolve.cc:13749
                   |                            |since
                   |                            |r8-3056-g5bab4c9631c478b7
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r8-3056-g5bab4c9631c478b7.

[Bug fortran/104650] [PDT] ICE in gfc_resolve_finalizers, at fortran/resolve.cc:13749 since r8-3056-g5bab4c9631c478b7

[pault at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |82173

--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
Added to PDT meta-bug


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82173
[Bug 82173] [meta-bug] [PDT] Parameterized derived type errors