http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50537
Tobias Burnus <burnus at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |accepts-invalid CC| |burnus at gcc dot gnu.org --- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-02-27 14:00:57 UTC --- For reference, Fortran 2008, "12.4.2.2 Explicit interface": "A procedure other than a statement function shall have an explicit interface if it is referenced and [...] "(3) the procedure has a result that [...] "(c) has a nonassumed type parameter value that is not a constant expression," (Side note: As it is not a constraint, a compiler is not required to diagnose it. However, as it can detect it in this case, it should.)