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.tho...@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.
