https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215
--- Comment #25 from Andreas Krebbel <krebbel at gcc dot gnu.org> --- The patch looks good to me. Please post it on the mailing list and I'll commit it. Jakub, thanks for your valuable comments! Does Dominik's last patch address your concerns?
