https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66319
--- Comment #19 from dave.anglin at bell dot net --- On 2016-07-12 10:38 AM, danglin at gcc dot gnu.org wrote: > Patch looks reasonable but needs to be sent to gcc-patches with cc's. Further, the patch needs to be submitted by someone with a gcc copyright assignment.