This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug fortran/35831] [F95] Shape mismatch check missing for dummy procedure argument
- From: "janus at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 04 Oct 2011 18:52:37 +0000
- Subject: [Bug fortran/35831] [F95] Shape mismatch check missing for dummy procedure argument
- Auto-submitted: auto-generated
- References: <bug-35831-4@http.gcc.gnu.org/bugzilla/>
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.