OK. (FWIW, you're not on the CC: list for that PR either.)
Sorry, I only wanted to explain why the patch is still pending. About your question: am I right in thinking that the real name is the name as written in the assembly file? If so, that's what is now implemented in 4.x.
Yes, I think that makes sense.
I'm a little concerned about the fact that (in theory) DECL_NAME could have spaces, or other assembler-unfriendly characters. I'm not sure what to do in that circumstance; it's probably impossible to do anything better than we do now, without the assembler providing some kind of special support. (I'm not actually sure what the assembler does with the name; presumably puts it in debug information.)
-- Mark Mitchell CodeSourcery, LLC [EMAIL PROTECTED] (916) 791-8304