http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59037
--- Comment #6 from vries at gcc dot gnu.org --- Created attachment 31286 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31286&action=edit tentative patch > I think it would be even better to fix whatever created that > BIT_FIELD_REF, if you are motivated (though your patch isn't wrong) This patch fixes the locations indicated by Matthew in comment 1. For both c and c++, the testcase is fixed by the change in gimple-fold.c. The other locations look like they need fixing too though, so I've included those as well. > Add a comment here explaining why this isn't an assert? I've changed it into an assert. I'll test this patch.