diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2025-04-15 20:43:05 +0200 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gmx.de> | 2025-04-16 19:05:59 +0200 |
| commit | 4e3060ee17e6eb8bab718d320199f713533dbbd6 (patch) | |
| tree | d3681c424951e3ba33662ff3272071a25672de74 /gcc/fortran | |
| parent | 518efed8cb7d003cd85477060b1fe926a2d7a53b (diff) | |
| download | gcc-4e3060ee17e6eb8bab718d320199f713533dbbd6.zip gcc-4e3060ee17e6eb8bab718d320199f713533dbbd6.tar.gz gcc-4e3060ee17e6eb8bab718d320199f713533dbbd6.tar.bz2 | |
Fortran: pure subroutine with pure procedure as dummy [PR106948]
PR fortran/106948
gcc/fortran/ChangeLog:
* resolve.cc (gfc_pure_function): If a function has been resolved,
but esym is not yet set, look at its attributes to see whether it
is pure or elemental.
gcc/testsuite/ChangeLog:
* gfortran.dg/pure_formal_proc_4.f90: New test.
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 cdf043b..2ecbd50 100644 --- a/gcc/fortran/resolve.cc +++ b/gcc/fortran/resolve.cc @@ -3190,6 +3190,13 @@ gfc_pure_function (gfc_expr *e, const char **name) || e->value.function.isym->elemental; *name = e->value.function.isym->name; } + else if (e->symtree && e->symtree->n.sym && e->symtree->n.sym->attr.dummy) + { + /* The function has been resolved, but esym is not yet set. + This can happen with functions as dummy argument. */ + pure = e->symtree->n.sym->attr.pure; + *name = e->symtree->n.sym->name; + } else { /* Implicit functions are not pure. */ |