https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71157
--- Comment #3 from Paul Eggert <eggert at gnu dot org> --- Created attachment 38532 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38532&action=edit patched version of e.i that avoids GCC bug
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71157
--- Comment #3 from Paul Eggert <eggert at gnu dot org> --- Created attachment 38532 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38532&action=edit patched version of e.i that avoids GCC bug