https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47931 --- Comment #9 from Christophe Lyon <clyon at gcc dot gnu.org> --- Indeed, I can now see it was fixed between r244372 and r244391, sorry for the noise (there was a delay in my validations).