https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114807
--- Comment #2 from Gaius Mulley <gaius at gcc dot gnu.org> --- Created attachment 58009 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58009&action=edit Proposed fix After the proposed patch fix is applied the cc1gm2 behaviour changes to: $ gm2 -g -c badpointer3.mod badpointer3.mod:18:14: error: In procedure ‘foo’: 1st parameter type failure between actual parameter type ‘Hello’ and the formal type ‘s’ 18 | testproc (Hello) | ^~~~~ badpointer3.mod:18:14: error: ‘Hello’ and ‘s’ are incompatible as formal and actual procedure parameters
