https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71399
--- Comment #15 from Ludovic Courtès <ludo at gnu dot org> --- Hi Jakub, Thanks for the suggestions. Unfortunately I cannot offer to rebuild everything with dumps right now; I'll see if I can do something later, no promise. Hopefully, with the details and faulty commit I gave earlier, people can more easily reproduce and pinpoint the problem.
