https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51312
--- Comment #9 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Paolo Carlini from comment #6) > Marc, are you going to send your patch to the mailing list (CC Jason)? Sorry, I don't remember this patch at all. I may try again to understand what it does at some point, but you seem to have a much better understanding of what is going on, so don't hesitate to take this bug.