https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102067
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Matt Godbolt from comment #2) > Hi Martin! > > Thanks for the quick reply. We don't have an easy way to do this in our > current setup: those files are built and published as a library by a > different system. We'll give it a go though. Thank you. And can you please test a more recent compiler (gcc-10 or gcc-11)?