Le 04/03/2023 à 22:20, Harald Anlauf a écrit :
Hi Mikael,
Am 04.03.23 um 18:09 schrieb Mikael Morin:
There was a comment about the old_symbol thing at the end of my previous
message:
https://gcc.gnu.org/pipermail/gcc-patches/2023-March/613354.html
I think Tobias might be the better person to answer this.
But when playing with variations of that else-branch,
I always hit an issue with class_74.f90, where the class
variables are not dummy arguments but local variables.
E.g. take the following reduced testcase:
subroutine foo
class(*) :: y
dimension :: y(:,:)
pointer :: y
end subroutine foo
So when we see the dimension but haven't seen the
pointer (or allocatable) declaration, we appear to
generate an error with bad consequences (ICE).
If this is a resolution issue, maybe it can be fixed
differently, but likely needs digging deeper. With
the patch as-is at least I do not see a memory leak
in that context.
One of my suggestions was to fix it as attached.
It is probably more clear with an actual patch to look at.
It seems to work on your example and class_74 as well.
It seems to also fix some valgrind errors on this example:
subroutine foo
pointer :: y
dimension :: y(:,:)
class(*) :: y
end subroutine foo
I'm fine with that fix if it works for you.
I suggest waiting for next stage 1, but it's your call, you have the
green light from Steve anyway.
Thanks for your work.
diff --git a/gcc/fortran/decl.cc b/gcc/fortran/decl.cc
index a65c6dcb994..c8f0bb83c2c 100644
--- a/gcc/fortran/decl.cc
+++ b/gcc/fortran/decl.cc
@@ -8802,10 +8802,6 @@ attr_decl1 (void)
m = MATCH_ERROR;
goto cleanup;
}
- else if (sym->ts.type == BT_CLASS
- && sym->ts.u.derived->attr.is_class
- && sym->old_symbol && sym->old_symbol->as == CLASS_DATA (sym)->as)
- sym->old_symbol->as = NULL;
add_hidden_procptr_result (sym);
diff --git a/gcc/fortran/symbol.cc b/gcc/fortran/symbol.cc
index 2ce0f3e4df7..221165d6dac 100644
--- a/gcc/fortran/symbol.cc
+++ b/gcc/fortran/symbol.cc
@@ -3761,7 +3761,11 @@ free_old_symbol (gfc_symbol *sym)
if (sym->old_symbol == NULL)
return;
- if (sym->old_symbol->as != sym->as)
+ if (sym->old_symbol->as != NULL
+ && sym->old_symbol->as != sym->as
+ && !(sym->ts.type == BT_CLASS
+ && sym->ts.u.derived->attr.is_class
+ && sym->old_symbol->as == CLASS_DATA (sym)->as))
gfc_free_array_spec (sym->old_symbol->as);
if (sym->old_symbol->value != sym->value)
