Hello Harald,
% gfc-16 gcc/testsuite/gfortran.dg/proc_ptr_52.f90 -Wexternal-argument- mismatch && ./a.outSTOP 1 It appears that something is not right and generates wrong code with the check enabled. Can you have another look?
I see that too, good catch! Seems like generating formal arguments from the actual arguments confuses resolution. I'll look into it. Best regards Thomas