https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116783
Alex Coplan <acoplan at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #9 from Alex Coplan <acoplan at gcc dot gnu.org> --- https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1080974#40 confirms this fixes the Debian issue, closing as fixed.