[Bug middle-end/59471] [4.9 Regression] ICE using vector extensions (non-top-level BIT_FIELD_REF, IMAGPART_EXPR or REALPART_EXPR)

[jamborm at gcc dot gnu.org]

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?