https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81393 --- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Note that the patch doesn't apply cleanly (capital vs. lowercase letter of some field), and depends on r249472, r249662 and r250324.