https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85444
--- Comment #4 from Will Hawkins <whh8b at virginia dot edu> --- (In reply to Richard Biener from comment #3) > Btw, it could maybe used to adjust mangling... (in C++, that is). That is absolutely a possibility, if I only knew where to look :-) I found this documentation: https://gcc.gnu.org/onlinedocs/gcc/Asm-Labels.html#Asm-Labels but I see nothing in the documentation to indicate that it has any utility for a typedef. Thanks for engaging with me on this! I am going to attach the patch to an email to the dev list. Thanks again!