Re: cp-name-parser.y

[Aleksandar Ristovski <aristovski@qnx.com>]

Daniel Jacobowitz wrote:
> On Fri, Feb 29, 2008 at 02:09:13PM -0500, Aleksandar Ristovski wrote:
>> I am looking at that since right now something like this:
>>
>> -var-create - * "(anonymous namespace)::foobar"
>>
>> will not work since c_parse doesn't know anything about '(anonymous 
>> namespace)'. I guess it wouldn't be too hard to hack around this 
>> particular case, but a proper solution would be preferable.
> 
> I wonder what the right thing to do on a statement like that is.  The
> problem with anonymous namespaces is that we call them all "(anonymous
> namespace)", but they're many different namespaces, one for each file
> with anonymous namespaces.  In that file, you would access the type
> as just "foobar".  Maybe we should give each anonymous namespace
> a different name.
I am not sure, but unique name should already be available in the form of 
mangled name (to me, at a first glance, creating unique names doesn't sound like 
a good idea).

However, in the case I am talking about, it is known which anonymous namespace 
is relevant since we have the frame, so really the only thing that is missing is 
to recognize that '(anonymous namespace)' could, effectively, be removed from 
the type name and then using the 'bare' var name crawl up the blocks to find the 
matching visible var in the given context. But I am not 100% sure the solution 
is generic.

> 
> Anyway, cp-name-parser.y isn't a replacement for c-exp.y.  It's a name
> parser; it accepts both names and types in cases where we don't know
> which are which, and it does not support any expressions except when
> they can appear inside a template argument.  Once you've identified
> something as a symbol name then you might hand it off to this parser
> to find the canonical form of the name, before searching the symbol
> table.
ok. So we could, perhaps, use it if c_parse fails and the language is c++?
> 
>> The issue is evident when using IDE (CDT). IDE will call
>> ptype foobar
>> which prints type (correctly) something like this: '(anonymous  
>> namespace)::FooBar' and then IDE uses this string as argument to 
>> -var-create, but unfortunately, this doesn't work.
> 
> (Why are you creating a varobj for a type, anyway?)
> 
In the example above 'foobar' is a variable defined in the anon. namespace, and 
'FooBar' is class name, and my last comment is not precise; IDE uses the 
variable name correctly but I am not familiar with internals on what does it do 
to build that name. In any case, the '(anonymous namespace)' part comes from gdb.