Unicode mangling (was Re: [PATCH] Java: New C++ ABI compatibility changes.)

[Jason Merrill]

>>>>> "Gavin" == Gavin Romig-Koch <gavin@redhat.com> writes:

>> I wish there was a way to handle this only by modifying the names
>> themselves, without the leading U, but I can't think of a non-ambiguous
>> escape sequence we could use on all targets.  Well, actually, I suppose we
>> could use '__', as you were suggesting in your earlier mail; since all
>> identifiers containing '__' are reserved to the implementation, we wouldn't
>> have to worry about violating the (multi-vendor) ABI.

> I'd recommend against using just a leading '__' to indicate that 
> the name contains encoded unicode characters.

I wasn't suggesting that; I was talking about a scheme that wouldn't
require any sort of prefix.  And my most recent suggestion only reserves
__U.

Jason