https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90809
Thomas De Schampheleire <patrickdepinguin at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |patrickdepinguin at gmail dot com --- Comment #3 from Thomas De Schampheleire <patrickdepinguin at gmail dot com> --- A fix for this issue seems to have been applied as (git) commit efab3e3a7326ad503532955ccd31f953851e388a. This bug can thus be closed.