diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2023-03-22 19:20:41 +0100 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gmx.de> | 2023-03-22 19:20:41 +0100 |
| commit | 3e791f45ded89626bc1f9f8013728f6e035801b2 (patch) | |
| tree | 8043092897ba8bab6da376996e5f3f640413b426 /gcc/fortran | |
| parent | f2e70da638b4f6ba868ff07ab2123cad4fd9fd02 (diff) | |
| download | gcc-3e791f45ded89626bc1f9f8013728f6e035801b2.zip gcc-3e791f45ded89626bc1f9f8013728f6e035801b2.tar.gz gcc-3e791f45ded89626bc1f9f8013728f6e035801b2.tar.bz2 | |
Fortran: improve checking of FINAL subroutine arguments [PR104572]
gcc/fortran/ChangeLog:
PR fortran/104572
* resolve.cc (gfc_resolve_finalizers): Argument of a FINAL subroutine
cannot be an alternate return.
gcc/testsuite/ChangeLog:
PR fortran/104572
* gfortran.dg/pr104572.f90: New test.
Co-authored-by: Steven G. Kargl <kargl@gcc.gnu.org>
Diffstat (limited to 'gcc/fortran')
| -rw-r--r-- | gcc/fortran/resolve.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/fortran/resolve.cc b/gcc/fortran/resolve.cc index 1a03e45..f6ec76a 100644 --- a/gcc/fortran/resolve.cc +++ b/gcc/fortran/resolve.cc @@ -13986,6 +13986,13 @@ gfc_resolve_finalizers (gfc_symbol* derived, bool *finalizable) } arg = dummy_args->sym; + if (!arg) + { + gfc_error ("Argument of FINAL procedure at %L must be of type %qs", + &list->proc_sym->declared_at, derived->name); + goto error; + } + if (arg->as && arg->as->type == AS_ASSUMED_RANK && ((list != derived->f2k_derived->finalizers) || list->next)) { |