http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59471
--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> --- It should be easy to make SRA safely cope with BIT_FIELD_REFs, REALPART_EXPRs and IMAGPART_EXPRs under a VIEW_CONVERT_EXPR (as opposed to those under a COMPONENT_REF, ARRAY_REF, MEM_REF or similar). I'd prefer it over detecting the other cases if it is enough to relax the verification in this way. I just wonder why do we have VIEW_CONVERT_EXPRs of BIT_FIELD_REFs at all, can't we fold them just to one B_F_R with the expected final type? Or does it have some different semantics?