https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96726
José Rui Faustino de Sousa <jrfsousa at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #4 from José Rui Faustino de Sousa <jrfsousa at gmail dot com> --- Fixed by: https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=8f7d99acf6d94eed6a7f9b9f76bd4c2243c660b2