diff options
author | Tobias Burnus <burnus@net-b.de> | 2007-07-08 22:57:07 +0200 |
---|---|---|
committer | Tobias Burnus <burnus@gcc.gnu.org> | 2007-07-08 22:57:07 +0200 |
commit | 376397285d1564cb838083028fa24286cd101ca6 (patch) | |
tree | 0e1ed7a049e8faab2faa803ed51ef349d0884bb6 /gcc/fortran/interface.c | |
parent | 83b2e4e821557b90ed8a6cd4fa1cf3ec6e69e28a (diff) | |
download | gcc-376397285d1564cb838083028fa24286cd101ca6.zip gcc-376397285d1564cb838083028fa24286cd101ca6.tar.gz gcc-376397285d1564cb838083028fa24286cd101ca6.tar.bz2 |
re PR fortran/32669 ("Actual argument contains too few elements for dummy argument" is triggered for valid code)
2007-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/32669
* interface.c (get_expr_storage_size): Properly obtain lower bound.
(compare_actual_formal): Add space before parenthesis.
2007-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/32669
* gfortran.dg/argument_checking_6.f90: New.
From-SVN: r126467
Diffstat (limited to 'gcc/fortran/interface.c')
-rw-r--r-- | gcc/fortran/interface.c | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c index c50e0bf..8591182 100644 --- a/gcc/fortran/interface.c +++ b/gcc/fortran/interface.c @@ -1374,7 +1374,7 @@ get_expr_storage_size (gfc_expr *e) { long int start, end, stride; stride = 1; - start = 1; + if (ref->u.ar.stride[i]) { if (ref->u.ar.stride[i]->expr_type == EXPR_CONSTANT) @@ -1390,6 +1390,11 @@ get_expr_storage_size (gfc_expr *e) else return 0; } + else if (ref->u.ar.as->lower[i] + && ref->u.ar.as->lower[i]->expr_type == EXPR_CONSTANT) + start = mpz_get_si (ref->u.ar.as->lower[i]->value.integer); + else + return 0; if (ref->u.ar.end[i]) { @@ -1595,8 +1600,8 @@ compare_actual_formal (gfc_actual_arglist **ap, gfc_formal_arglist *formal, } } - actual_size = get_expr_storage_size(a->expr); - formal_size = get_sym_storage_size(f->sym); + actual_size = get_expr_storage_size (a->expr); + formal_size = get_sym_storage_size (f->sym); if (actual_size != 0 && actual_size < formal_size) { if (a->expr->ts.type == BT_CHARACTER && !f->sym->as && where) |