diff options
author | Tobias Burnus <burnus@net-b.de> | 2011-01-28 20:49:25 +0100 |
---|---|---|
committer | Tobias Burnus <burnus@gcc.gnu.org> | 2011-01-28 20:49:25 +0100 |
commit | 36ea267b8a5ed4ce63b864ce447e59ebc4e17bb6 (patch) | |
tree | 0b7402a91c513d3f4534f6e36ee16a517b28e7dd /gcc/fortran/resolve.c | |
parent | 5582f599f61e783867a944f192f34e6ad1b764ca (diff) | |
download | gcc-36ea267b8a5ed4ce63b864ce447e59ebc4e17bb6.zip gcc-36ea267b8a5ed4ce63b864ce447e59ebc4e17bb6.tar.gz gcc-36ea267b8a5ed4ce63b864ce447e59ebc4e17bb6.tar.bz2 |
re PR fortran/47507 (PURE functions with VALUE arguments invalidly rejectd)
2011-01-28 Tobias Burnus <burnus@net-b.de>
PR fortran/47507
* resolve.c (resolve_formal_arglist): Allow arguments with VALUE
attribute also without INTENT.
2011-01-28 Tobias Burnus <burnus@net-b.de>
PR fortran/47507
* gfortran.dg/pure_formal_1.f90: New.
From-SVN: r169372
Diffstat (limited to 'gcc/fortran/resolve.c')
-rw-r--r-- | gcc/fortran/resolve.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 2436283..55b5183 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -338,15 +338,17 @@ resolve_formal_arglist (gfc_symbol *proc) if (gfc_pure (proc) && !sym->attr.pointer && sym->attr.flavor != FL_PROCEDURE) { - if (proc->attr.function && sym->attr.intent != INTENT_IN) + if (proc->attr.function && sym->attr.intent != INTENT_IN + && !sym->attr.value) gfc_error ("Argument '%s' of pure function '%s' at %L must be " - "INTENT(IN)", sym->name, proc->name, + "INTENT(IN) or VALUE", sym->name, proc->name, &sym->declared_at); - if (proc->attr.subroutine && sym->attr.intent == INTENT_UNKNOWN) + if (proc->attr.subroutine && sym->attr.intent == INTENT_UNKNOWN + && !sym->attr.value) gfc_error ("Argument '%s' of pure subroutine '%s' at %L must " - "have its INTENT specified", sym->name, proc->name, - &sym->declared_at); + "have its INTENT specified or have the VALUE " + "attribute", sym->name, proc->name, &sym->declared_at); } if (proc->attr.implicit_pure && !sym->attr.pointer |