https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112893
--- Comment #8 from Gaius Mulley <gaius at gcc dot gnu.org> --- Created attachment 57992 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57992&action=edit Proposed fix v3 This patch creates a proctype for every procedure and then uses this associated proctype during type checking. M2Check.mod calls upon GetProcedureProcType rather than assume a procedure is an ADDRESS type. The patch also changes/fixes some test code which assumed procedure/address types were the same. All regressions pass on x86_64 (non bootstrap, once full bootstrap completes and passes the patch will be applied and the pr closed).
