[Bug fortran/33204] New: Run-time argument check for procedures (run-time interface checking)

["burnus at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

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