This thread contains a potential new rule: Compiler option to warn about argument declarations of x(1) instead of x(*)
The idea would be to mark x(1) (a legacy convention for arrays of unspecified length) variables as candidates for upgrade to x(*), when x appears as a procedure dummy argument.