[Bug fortran/97024] Overriding finalization on polymorphic types triggers ICE error in generate_finalization_wrapper

[pault at gcc dot gnu.org]

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

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

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

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #3)
> Confirmed from GCC9 up to trunk.

I am completely unable to reproduce the ICE on FC13/x86_64 with GNU Fortran
(GCC) 9.3.1 20210315 through to mainline 12.0.1 20220119 (experimental).

module m
  type::t1
  end type t1
  type,extends(t1)::t2
   contains
     final::t2_finalize
  end type t2
contains
  subroutine t2_finalize(this)
    type(t2)::this
    print *, "finalize"
  end subroutine t2_finalize
  subroutine err()
    class(t1),allocatable::o1
    type(t2)::o2
    o1=o2
  end subroutine err
end module m

  use m
  call err
end

produces the expected output ("finalize" twice).

Paul