http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59471
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org, | |jamborm at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- This started failing when the assertion has been added: http://gcc.gnu.org/ml/gcc-patches/2013-05/msg01265.html There is no code to ensure that it won't happen though. So, either the verification patch should be reverted and SRA adjusted to cope with this, or something in gimple-expr.[ch] ? will need to be adjusted to reject it (but e.g. making is_gimple_addressable more expensive might be a problem).