[Bug testsuite/58851] FAIL: gfortran.dg/unlimited_polymorphic_13.f90 -O0 execution test

[burnus at gcc dot gnu.org]

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

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to paul.richard.thomas@gmail.com from comment #3)
> I had changed the testcase to:

... which is in the essential part the same. (I had a few more checks, but
those do not really matter.)

> Is it not the case that the select type (o) is unnecessary for the test?
> That is ' if (storage_size(o) /= sz) call abort()' is all that is needed?

For this bug, yes. But I think checking that within SELECT TYPE the correct
SIZE_OF is applied, doesn't harm. Thus, I think it is useful to have.

I leave committing the patch to you – I think either of our versions is fine.