diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-06-21 20:24:01 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-06-21 20:24:01 +0000 |
| commit | 9b15893c31a9fd926459123037c09b0ac64a5bd3 (patch) | |
| tree | fcb1e45b392ab45e4ec15c1c0fda0d7bc93adfdf /gcc/fortran/resolve.c | |
| parent | 4c60db9a7b033fc58a93fd93eb36a4f0bb311b63 (diff) | |
| download | gcc-9b15893c31a9fd926459123037c09b0ac64a5bd3.zip gcc-9b15893c31a9fd926459123037c09b0ac64a5bd3.tar.gz gcc-9b15893c31a9fd926459123037c09b0ac64a5bd3.tar.bz2 | |
re PR fortran/67884 (Missing error message on required allocatable attribute)
2019-06-21 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/67884
* resolve.c (deferred_requirements) : Check only the result variable.
(resolve_fl_procedure): Check deferred requirements on functions.
2019-06-21 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/67884
* gfortran.dg/dummy_procedure_8.f90: Remove a test that is ...
* gfortran.dg/pr67884.f90: ... covered here. New test.
From-SVN: r272569
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index afa4e5c..af7078a 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -12388,6 +12388,10 @@ deferred_requirements (gfc_symbol *sym) || sym->attr.associate_var || sym->attr.omp_udr_artificial_var)) { + /* If a function has a result variable, only check the variable. */ + if (sym->result && sym->name != sym->result->name) + return true; + gfc_error ("Entity %qs at %L has a deferred type parameter and " "requires either the POINTER or ALLOCATABLE attribute", sym->name, &sym->declared_at); @@ -12598,6 +12602,10 @@ resolve_fl_procedure (gfc_symbol *sym, int mp_flag) && !resolve_fl_var_and_proc (sym, mp_flag)) return false; + /* Constraints on deferred type parameter. */ + if (!deferred_requirements (sym)) + return false; + if (sym->ts.type == BT_CHARACTER) { gfc_charlen *cl = sym->ts.u.cl; |