https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100917 --- Comment #3 from José Rui Faustino de Sousa <jrfsousa at gcc dot gnu.org> --- Please ignore patch wrong PR... Sorry for the inconvenience. Best regards, José Rui