https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80759
--- Comment #12 from Daniel Santos <daniel.santos at pobox dot com> --- Created attachment 41398 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41398&action=edit proposed fix v2 part 2 Formatting, comments and other aesthetic changes.
