https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80759
--- Comment #24 from Daniel Santos <daniel.santos at pobox dot com> --- Created attachment 41488 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41488&action=edit proposed fix v3 part 3
daniel.santos at pobox dot com Wed, 07 Jun 2017 07:07:23 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80759
--- Comment #24 from Daniel Santos <daniel.santos at pobox dot com> --- Created attachment 41488 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41488&action=edit proposed fix v3 part 3