Currently, miss matches of the arguments can only be detected if an explicit interface is available.
NAG f95 supports run time checking by having a global struct available which contains information (number of arguments, type/kind of the arguments, pointer to the function). Before each procedure call, these are initialized. In each procedure, they are compared with the settings needed for the dummy argument. As not all files might be compiled with the same option, one has additionally to check whether the address of the function matches the address of the called function. Related bugs: - Whole-file checking: PR26227 - Generating .mod files for procedures which are not contained in modules or the PROGRAM: PR30658 -- Summary: Run-time argument check for procedures (run-time interface checking) Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: enhancement Priority: P3 Component: fortran AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: burnus at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33204