http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34004
--- Comment #9 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-04-28 17:14:05 UTC --- > "Two dummy arguments are distinguishable if neither is a subroutine and > neither > is TKR compatible (5.1.1.2) with the other." AFAICT this is not a constraint on the compiler to diagnose it. > How about counting this as a "bug in the F03 standard" and closing the PR as > invalid (as suggested by Mikael)? If nobody want to do the changes for a diagnostic under -std=f95/f2003, I think it should be closed as WONTFIX to better reflect the situation.