https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 35121 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35121&action=edit patch gimple-fold works like fold - it tries to re-simplify what you feed it, but only the outermost level (so it doesn't really recurse). Still I think this bug needs changing code-generation like with the attached patch which I am testing right now. I always forget how to force SJLJ EH on x86_64-linux for ada so I didn't manage to reproduce the issue or check if the patch fixes it ...