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.
