[Bug fortran/57711] Accepts non-matching invalid dummy procedure as actual argument

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid, diagnostic
             Status|WAITING                     |NEW
            Summary|Fortran 4.7.2/4.8.1 error:  |Accepts non-matching
                   |constraints for functions   |invalid dummy procedure as
                   |parameters                  |actual argument

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Tobias Burnus from comment #2)
> * For some reasons, it compiles with GCC 4.7 if one calls D_VODE instead of
> VODE.

Ditto with GCC 4.9. -> ACCEPTS-INVALID bug

(For the test case: Change "call vode(" to "call d_vode(" in either the linked
code - or in the second test case of the patch below.)

> * The error message for generic matching should be better (cf. PR40276).

See patch at http://gcc.gnu.org/ml/fortran/2013-06/msg00132.html