Discrepancy between demumble and c++filt for _ZNK1aE symbol

[ismail]

~ > c++filt _ZNK1aE                                                                                                               
a const

~ > demumble _ZNK1aE 
a

Not sure who is correct here.

[nico]

What code was this symbol generated from? c++filt's output looks more correct to me, but I can't come up with a way to produce this mangling.

[ismail]

What code was this symbol generated from? c++filt's output looks more correct to me, but I can't come up with a way to produce this mangling.

It's actually someone's IRC nick, without the underscore... I just added an underscore to see if it'd validate.

[nico]

That's a great IRC nick!