[cxx-abi-dev] <prefix> mangling and substitutions

[John McCall]

On Oct 22, 2014, at 3:13 PM, Richard Smith <richardsmith at google.com> wrote:
> We have:
> 
> <prefix> ::= # empty
>               ::= <substitution>
> 
> This implies that we generate a substitution for an empty prefix (and then use that as the base of every subsequent prefix that doesn't start with a <template-param> or <decltype>). This seems wrong to me, and doesn't match current implementation practice.
> 
> One possible fix: replace "# empty" with "<unqualified-name>", and add "<template unqualified-name>" to the productions for <template-prefix>. This would also remove the ambiguity as to whether ::x is 1x or N1xE.
> 
> Thoughts?

Sounds like a good fix to me.

John.