diff options
| author | Paul Thomas <pault@gcc.gnu.org> | 2006-01-29 16:31:24 +0000 |
|---|---|---|
| committer | Paul Thomas <pault@gcc.gnu.org> | 2006-01-29 16:31:24 +0000 |
| commit | a920e94a9e87d680206d24e1a38902f3c5536c29 (patch) | |
| tree | 2efa745c0302c8ea212bcdc685d98c5d62accfe1 | |
| parent | e8f9ec3507675aa1687cb38f7b307b301c6e3f1a (diff) | |
| download | gcc-a920e94a9e87d680206d24e1a38902f3c5536c29.zip gcc-a920e94a9e87d680206d24e1a38902f3c5536c29.tar.gz gcc-a920e94a9e87d680206d24e1a38902f3c5536c29.tar.bz2 | |
re PR fortran/18578 (intent(inout) violation is not detected)
2006-01-29 Paul Thomas <pault@gcc.gnu.org>
PR fortran/18578
PR fortran/18579
PR fortran/20857
PR fortran/20885
* interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT)
if actual argument is not a variable.
2006-01-29 Paul Thomas <pault@gcc.gnu.org>
PR fortran/18578
PR fortran/18579
PR fortran/20857
PR fortran/20885
* gfortran.dg/intent_out_1.f90: New test.
From-SVN: r110376
| -rw-r--r-- | gcc/fortran/ChangeLog | 9 | ||||
| -rw-r--r-- | gcc/fortran/interface.c | 10 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/intent_out_1.f90 | 19 |
4 files changed, 46 insertions, 0 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index b5220e1f..4eb14b8 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,12 @@ +2006-01-29 Paul Thomas <pault@gcc.gnu.org> + + PR fortran/18578 + PR fortran/18579 + PR fortran/20857 + PR fortran/20885 + * interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT) + if actual argument is not a variable. + 2006-01-28 Paul Thomas <pault@gcc.gnu.org> PR fortran/17911 diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c index e3a13f5..93e3657 100644 --- a/gcc/fortran/interface.c +++ b/gcc/fortran/interface.c @@ -1273,6 +1273,16 @@ compare_actual_formal (gfc_actual_arglist ** ap, return 0; } + /* Check intent = OUT/INOUT for definable actual argument. */ + if (a->expr->expr_type != EXPR_VARIABLE + && (f->sym->attr.intent == INTENT_OUT + || f->sym->attr.intent == INTENT_INOUT)) + { + gfc_error ("Actual argument at %L must be definable to " + "match dummy INTENT = OUT/INOUT", &a->expr->where); + return 0; + } + match: if (a == actual) na = i; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3c19025..bd6eade 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,13 @@ 2006-01-29 Paul Thomas <pault@gcc.gnu.org> + PR fortran/18578 + PR fortran/18579 + PR fortran/20857 + PR fortran/20885 + * gfortran.dg/intent_out_1.f90: New test. + +2006-01-28 Paul Thomas <pault@gcc.gnu.org> + PR fortran/17911 * gfortran.dg/procedure_lvalue.f90: New test. diff --git a/gcc/testsuite/gfortran.dg/intent_out_1.f90 b/gcc/testsuite/gfortran.dg/intent_out_1.f90 new file mode 100644 index 0000000..62d7415 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/intent_out_1.f90 @@ -0,0 +1,19 @@ +! { dg-do compile } +! Tests the fix for PRs 18578, 18579 and their repeats 20857 and 20885. +! Contributed by Paul Thomas <pault@gcc@gnu.org> + real, parameter :: a =42.0 + real :: b + call foo(b + 2.0) ! { dg-error "must be definable" } + call foo(a) ! { dg-error "must be definable" } + call bar(b + 2.0) ! { dg-error "must be definable" } + call bar(a) ! { dg-error "must be definable" } +contains + subroutine foo(a) + real, intent(out) :: a + a = 0.0 + end subroutine foo + subroutine bar(a) + real, intent(INout) :: a + a = 0.0 + end subroutine bar +end |