diff options
| -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 |