diff options
| author | Tobias Burnus <burnus@gcc.gnu.org> | 2007-05-04 09:54:06 +0200 |
|---|---|---|
| committer | Tobias Burnus <burnus@gcc.gnu.org> | 2007-05-04 09:54:06 +0200 |
| commit | a0324f7b5a936736a7280638998ff9d726f0349b (patch) | |
| tree | adfad803ac18d1c689a39bd23f0b027b04b4016d /gcc/fortran/interface.c | |
| parent | 916fa4f033247e40c1fc7bad3211427766d3dca3 (diff) | |
| download | gcc-a0324f7b5a936736a7280638998ff9d726f0349b.zip gcc-a0324f7b5a936736a7280638998ff9d726f0349b.tar.gz gcc-a0324f7b5a936736a7280638998ff9d726f0349b.tar.bz2 | |
re PR fortran/25071 (dummy argument larger than actual argument)
2007-05-04 Tobias Burnus <burnus@net-b.de>
PR fortran/25071
* interface.c (compare_actual_formal): Check character length.
2007-05-04 Tobias Burnus <burnus@net-b.de>
PR fortran/25071
* gfortran.dg/char_length_3.f90: New test.
* gfortran.dg/char_result_2.f90: Fix test.
From-SVN: r124411
Diffstat (limited to 'gcc/fortran/interface.c')
| -rw-r--r-- | gcc/fortran/interface.c | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c index 1672b1c..22a39b5 100644 --- a/gcc/fortran/interface.c +++ b/gcc/fortran/interface.c @@ -1369,6 +1369,34 @@ compare_actual_formal (gfc_actual_arglist **ap, gfc_formal_arglist *formal, return 0; } + if (a->expr->ts.type == BT_CHARACTER + && a->expr->ts.cl && a->expr->ts.cl->length + && a->expr->ts.cl->length->expr_type == EXPR_CONSTANT + && f->sym->ts.cl && f->sym->ts.cl && f->sym->ts.cl->length + && f->sym->ts.cl->length->expr_type == EXPR_CONSTANT) + { + if (mpz_cmp (a->expr->ts.cl->length->value.integer, + f->sym->ts.cl->length->value.integer) < 0) + { + if (where) + gfc_error ("Character length of actual argument shorter " + "than of dummy argument '%s' at %L", + f->sym->name, &a->expr->where); + return 0; + } + + if ((f->sym->attr.pointer || f->sym->attr.allocatable) + && (mpz_cmp (a->expr->ts.cl->length->value.integer, + f->sym->ts.cl->length->value.integer) != 0)) + { + if (where) + gfc_error ("Character length mismatch between actual argument " + "and pointer or allocatable dummy argument " + "'%s' at %L", f->sym->name, &a->expr->where); + return 0; + } + } + /* Satisfy 12.4.1.2 by ensuring that a procedure actual argument is provided for a procedure formal argument. */ if (a->expr->ts.type != BT_PROCEDURE |