https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66714
--- Comment #23 from cesar at gcc dot gnu.org --- Created attachment 36037 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36037&action=edit patch to handle different types of value exprs This new patch handles other types besides INDIRECT_REFs. I kept on having to add support for other tree codes before I got everything to work and I suspect that I may have missed some. The general case is probably going to be messy. Still, I like your idea of using gcc_unreachable for unrecognized value exprs. I'll post this patch to gcc-patches tomorrow if testing comes back clean.