https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89825
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2019-03-26 Ever confirmed|0 |1 --- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- N.B. we can't use this patch without a copyright assignment for GCC: https://gcc.gnu.org/contribute.html Posting patches we can't use is actually more harmful than helpful, because to ensure we don't infringe your copyright we either have to avoid even reading the patch, or try to solve the problem differently. Describing a suggeasted solution without an actual patch is fine. Would you be willing to complete a copyright assignment for contributions to GCC?