[Bug fortran/102333] Invalid PROCEDURE statement accepted.

[albert at tugraz dot at]

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

--- Comment #16 from Christopher Albert <albert at tugraz dot at> ---
Created attachment 64064
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64064&action=edit
Proposed frontend fix for accepts-invalid

This fixes the remaining accepts-invalid part of PR102333 after the earlier ICE
disappeared. The front end now rejects contained PROCEDURE declarations that
use the host function as an interface when that host function has an unlimited
polymorphic pointer or allocatable result. The patch also adds focused
regressions for the original reproducer and the simplified comment-2 variants.
Tested with full check-gfortran and check-target-libgomp-fortran.