https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69558 --- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> --- David, do we consider this fixed for real now with r233637, or is some further work planed?