diff options
| author | Janus Weil <janus@gcc.gnu.org> | 2013-12-10 22:41:43 +0100 |
|---|---|---|
| committer | Janus Weil <janus@gcc.gnu.org> | 2013-12-10 22:41:43 +0100 |
| commit | 688974a346b1f73cbf94ebe0ca95f4690a7f922b (patch) | |
| tree | b5b754a913dc5824d89b51b16207d84626e2959f /gcc/fortran/interface.c | |
| parent | 61063a2a69b6562f088fcb41f1d146b509215039 (diff) | |
| download | gcc-688974a346b1f73cbf94ebe0ca95f4690a7f922b.zip gcc-688974a346b1f73cbf94ebe0ca95f4690a7f922b.tar.gz gcc-688974a346b1f73cbf94ebe0ca95f4690a7f922b.tar.bz2 | |
re PR fortran/35831 ([F95] Shape mismatch check missing for dummy procedure argument)
2013-12-10 Janus Weil <janus@gcc.gnu.org>
PR fortran/35831
* interface.c (check_dummy_characteristics): Add checks for several
attributes.
2013-12-10 Janus Weil <janus@gcc.gnu.org>
PR fortran/35831
* gfortran.dg/c_by_val_5.f90: Modified.
* gfortran.dg/dummy_procedure_10.f90: New.
From-SVN: r205873
Diffstat (limited to 'gcc/fortran/interface.c')
| -rw-r--r-- | gcc/fortran/interface.c | 33 |
1 files changed, 31 insertions, 2 deletions
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c index da3db7e..1cd1c2b 100644 --- a/gcc/fortran/interface.c +++ b/gcc/fortran/interface.c @@ -1114,8 +1114,37 @@ check_dummy_characteristics (gfc_symbol *s1, gfc_symbol *s2, return false; } - /* FIXME: Do more comprehensive testing of attributes, like e.g. - ASYNCHRONOUS, CONTIGUOUS, VALUE, VOLATILE, etc. */ + /* Check ASYNCHRONOUS attribute. */ + if (s1->attr.asynchronous != s2->attr.asynchronous) + { + snprintf (errmsg, err_len, "ASYNCHRONOUS mismatch in argument '%s'", + s1->name); + return false; + } + + /* Check CONTIGUOUS attribute. */ + if (s1->attr.contiguous != s2->attr.contiguous) + { + snprintf (errmsg, err_len, "CONTIGUOUS mismatch in argument '%s'", + s1->name); + return false; + } + + /* Check VALUE attribute. */ + if (s1->attr.value != s2->attr.value) + { + snprintf (errmsg, err_len, "VALUE mismatch in argument '%s'", + s1->name); + return false; + } + + /* Check VOLATILE attribute. */ + if (s1->attr.volatile_ != s2->attr.volatile_) + { + snprintf (errmsg, err_len, "VOLATILE mismatch in argument '%s'", + s1->name); + return false; + } /* Check interface of dummy procedures. */ if (s1->attr.flavor == FL_PROCEDURE) |