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.
