[Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> The attached patch runs the testcase below without memory leaks but
> causes regressions in:
> class_allocate_7.f03
> class_to_type_2.f90
> typebound_operator_7.f03
> typebound_operator_8.f03

With the patch in comment 4 I don't see these regressions:

[Book15] build_w/gcc% make -k check-gfortran RUNTESTFLAGS="dg.exp=class*
--target_board=unix'{-m32,-m64}'"
...
        === gfortran Summary for unix/-m64 ===

# of expected passes        1091
# of unsupported tests        2

        === gfortran Summary ===

# of expected passes        2182
# of unsupported tests        4

[Book15] build_w/gcc% make -k check-gfortran RUNTESTFLAGS="dg.exp=typebound*
--target_board=unix'{-m32,-m64}'"
...
        === gfortran Summary for unix/-m64 ===

# of expected passes        846
# of expected failures        1

        === gfortran Summary ===

# of expected passes        1692
# of expected failures        2

There is no more ICE for the reduced test in comment 1 (1), but a segmentation
fault. However I doubt the code is valid.

Thanks for the patch. Further testing in progress.