https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94722
--- Comment #3 from Nick Desaulniers <ndesaulniers at google dot com> --- Ah, sorry, just was sent: https://lore.kernel.org/lkml/20200316180303.GR2156@tucnak/ which is also relevant regarding naming. Still happy to buy the beers though.
