[Bug fortran/35831] [F95] Shape mismatch check missing for dummy procedure argument

[janus at gcc dot gnu.org]

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

--- Comment #14 from janus at gcc dot gnu.org 2011-10-04 18:52:37 UTC ---
r179520 should pretty much fix the shape checking for dummy arguments.

Related ToDos:
1) check shape of dummy function results (in 'gfc_compare_interfaces')
2) check shape of function results when overriding TBPs (in
'gfc_check_typebound_override')

I wonder if it would make sense to combine both tasks into a new function
'check_result_characteristics' or similar (together with the checks for
type/rank, string length, attributes, etc), cf. F08 chapter 12.3.3.