http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55920
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-15 12:04:13 UTC --- Created attachment 29168 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29168 gcc48-pr55920.patch Looking at the #c3 patch, I wonder if this wouldn't be more appropriate (untested so far). It tries to match roughly what the modify_this_stmt case does a few lines before.