[Bug fortran/80361] [5/6/7 Regression] bogus recursive call to nonrecursive procedure with -fcheck=recursion

[tkoenig at gcc dot gnu.org]

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

--- Comment #14 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
(In reply to janus from comment #12)
> Created attachment 41179 [details]
> reduced test case
> 
> I managed to boil down the test case to a more compact form, see the
> attached file.
> 
> Note that it does not contain any FINAL procedure any more. The error
> message ...
> 
> Fortran runtime error: Recursive call to nonrecursive procedure
> '__final_particle_specifiers_Prt_spec_list_t'
> 
> ... refers to the a finalization procedure generated by gfortran, which is
> also used for polymorphic deallocation.

Should we simply make these proxedures recursive?

Does anybody know what the standard says?