[Bug fortran/45086] For whole-file checking, also check whether an INTERFACE matches

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

------- Comment #1 from burnus at gcc dot gnu dot org  2010-07-26 19:17 -------
Related - the original version of gfortran.dg/char_result_4.f90 shows:

    pure elemental function double (x)
    1
Error: ELEMENTAL procedure 'double' at (1) must have an explicit interface

Expected: This message is shown for the CALL to the procedure and not for the
definition.

Note 1: I quickly tried to generate a minimal example, but I did not succeed.
Note 2: As part of PR 40873 the example will be fixed, please remember this
when testing.


 * * *

Another item to do argument checking if there is an INTERFACE present. A simple
use check cannot be done as the INTERFACE might have different argument names
than the real procedure, which will fail. Thus gfc_procedure_use needs to be
augmented by having a mode which goes trough the list one-to-one without
checking the presence of other arguments. (Assumes that list has been
reordered). Or, one adds a function which simply compares the formal arguments,
which is probably the better approach.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45086