[Bug fortran/46244] gfc_compare_derived_types is buggy

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46244

--- Comment #17 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2011-10-02 17:46:44 UTC ---
Created attachment 25397
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25397
updated patch for revision 179415

The patch in comment #12 no longer applies cleanly (the changes in resolve.c
are now obsolete, I have mechanically replaced four times !gfc_compare_types
with !gfc_TK_compatible, although it does not introduce regression, this should
be checked by someone understanding the code better than I do). I had also to
do a similar change in gcc/fortran/check.c to allow move_alloc_5.f90 and
select_type_23.f03 to pass (otherwise they fail with

Error: 'from' argument of 'move_alloc' intrinsic at (1) must be the same type
and kind as 'to'

I have also updated null_1.f90. With these changes I had no regression and my
tests passed without the glitch reported in comment #13 (the previous patch
probably exposed some rampant bug that has been fixed).