diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/fortran/expr.c | 10 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/spec_expr_7.f90 | 34 |
4 files changed, 51 insertions, 5 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index bb0beb7..615ade0 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2016-11-09 Steve Kargl <kargl@gcc.gnu.org> + Janus Weil <janus@gcc.gnu.org> + + PR fortran/60777 + * expr.c (external_spec_function): Allow recursive specification + functions in F03. + 2016-11-09 Paul Thomas <pault@gcc.gnu.org> * check.c (gfc_check_move_alloc): Prevent error that avoids diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c index b2ffaae..e2d1311 100644 --- a/gcc/fortran/expr.c +++ b/gcc/fortran/expr.c @@ -2794,12 +2794,12 @@ external_spec_function (gfc_expr *e) return false; } - if (f->attr.recursive) - { - gfc_error ("Specification function %qs at %L cannot be RECURSIVE", - f->name, &e->where); + /* F08:7.1.11.6. */ + if (f->attr.recursive + && !gfc_notify_std (GFC_STD_F2003, + "Specification function '%s' " + "at %L cannot be RECURSIVE", f->name, &e->where)) return false; - } function_allowed: return restricted_args (e->value.function.actual); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7a3b6c5..749c7d6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-11-09 Janus Weil <janus@gcc.gnu.org> + + PR fortran/60777 + * gfortran.dg/spec_expr_7.f90: New test. + 2016-11-09 Jakub Jelinek <jakub@redhat.com> PR target/77718 diff --git a/gcc/testsuite/gfortran.dg/spec_expr_7.f90 b/gcc/testsuite/gfortran.dg/spec_expr_7.f90 new file mode 100644 index 0000000..0680d12 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/spec_expr_7.f90 @@ -0,0 +1,34 @@ +! { dg-do run } +! +! PR 60777: [F03] RECURSIVE function rejected in specification expression +! +! Contributed by Vladimir Fuka <vladimir.fuka@gmail.com> + +module recur + implicit none +contains + + pure recursive function f(n) result(answer) + integer, intent(in) :: n + integer :: answer + if (n<2) then + answer = 1 + else + answer = f(n-1)*n + end if + end function + + pure function usef(n) + integer,intent(in) :: n + character(f(n)) :: usef + usef = repeat('*',f(n)) + end function +end module + +program testspecexpr + use recur + implicit none + if (usef(1) /= '*') call abort() + if (usef(2) /= '**') call abort() + if (usef(3) /= '******') call abort() +end |