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