https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80235
--- Comment #1 from Anton Shterenlikht <mexas at bristol dot ac.uk> --- Created attachment 41064 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41064&action=edit submodule file
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80235
--- Comment #1 from Anton Shterenlikht <mexas at bristol dot ac.uk> --- Created attachment 41064 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41064&action=edit submodule file