opencxx-users

[Opencxx-users] symbol lookup in Environment

[Stefan S. <se...@sy...>]

hi there,

I'm looking at the Environment::LookupType method implementation
and I'm wondering why it contains a loop over HashTable::HashEntries().
How can a single symbol result in multiple entries ? Any multiple
definition of a symbol (forward declarations don't count) in the same
scope is an error, isn't it ?
What am I missing ?

Thanks,
		Stefan

Re: [Opencxx-users] symbol lookup in Environment

[Grzegorz J. <ja...@he...>]

On Wed, 15 Sep 2004, Stefan Seefeld wrote:

> hi there,
>
> I'm looking at the Environment::LookupType method implementation
> and I'm wondering why it contains a loop over HashTable::HashEntries().
> How can a single symbol result in multiple entries ? Any multiple
> definition of a symbol (forward declarations don't count) in the same
> scope is an error, isn't it ?
> What am I missing ?

Overloading?

BR
Grzegorz

>
> Thanks,
> 		Stefan
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by: YOU BE THE JUDGE. Be one of 170
> Project Admins to receive an Apple iPod Mini FREE for your judgement on
> who ports your project to Linux PPC the best. Sponsored by IBM.
> Deadline: Sept. 24. Go here: http://sf.net/ppc_contest.php
> _______________________________________________
> Opencxx-users mailing list
> Ope...@li...
> https://lists.sourceforge.net/lists/listinfo/opencxx-users
>
>

##################################################################
# Grzegorz Jakacki                       Huada Electronic Design #
# Senior Engineer, CAD Dept.              1 Gaojiayuan, Chaoyang #
# tel. +86-10-64365577 x2074               Beijing 100015, China #
# Copyright (C) 2004 Grzegorz Jakacki, HED. All Rights Reserved. #
##################################################################

Re: [Opencxx-users] symbol lookup in Environment

[Stefan S. <se...@sy...>]

Grzegorz Jakacki wrote:
> On Wed, 15 Sep 2004, Stefan Seefeld wrote:
> 
> 
>>hi there,
>>
>>I'm looking at the Environment::LookupType method implementation
>>and I'm wondering why it contains a loop over HashTable::HashEntries().
>>How can a single symbol result in multiple entries ? Any multiple
>>definition of a symbol (forward declarations don't count) in the same
>>scope is an error, isn't it ?
>>What am I missing ?
> 
> 
> Overloading?
aren't symbols stored by their encoded name, which contains the signature ?

Stefan

Re: [Opencxx-users] symbol lookup in Environment

[Grzegorz J. <ja...@he...>]

On Thu, 16 Sep 2004, Stefan Seefeld wrote:

> Grzegorz Jakacki wrote:
> > On Wed, 15 Sep 2004, Stefan Seefeld wrote:
> >
> >
> >>hi there,
> >>
> >>I'm looking at the Environment::LookupType method implementation
> >>and I'm wondering why it contains a loop over HashTable::HashEntries().
> >>How can a single symbol result in multiple entries ? Any multiple
> >>definition of a symbol (forward declarations don't count) in the same
> >>scope is an error, isn't it ?
> >>What am I missing ?
> >
> >
> > Overloading?
> aren't symbols stored by their encoded name, which contains the signature ?

If not overloading, then maybe the fact, that OpenC++ cuts corners on type
analysis, which results in encodings of different functions look the same?
E.g.

    void g( char (*)[5] ) {}

and

    void g( char (*)[6] ) {}

?

I cannot come up with less convoluted example...

BR
Grzegorz

##################################################################
# Grzegorz Jakacki                       Huada Electronic Design #
# Senior Engineer, CAD Dept.              1 Gaojiayuan, Chaoyang #
# tel. +86-10-64365577 x2074               Beijing 100015, China #
# Copyright (C) 2004 Grzegorz Jakacki, HED. All Rights Reserved. #
##################################################################

Re: [Opencxx-users] symbol lookup in Environment

[Stefan S. <se...@sy...>]

Grzegorz Jakacki wrote:

>>aren't symbols stored by their encoded name, which contains the signature ?
> 
> 
> If not overloading, then maybe the fact, that OpenC++ cuts corners on type
> analysis, which results in encodings of different functions look the same?
> E.g.
> 
>     void g( char (*)[5] ) {}
> 
> and
> 
>     void g( char (*)[6] ) {}
> 
> ?

you are right ! That's the same conceptual problem as disambiguating
the relational '<' operator from template brackets ! In both cases
we lack a symbol lookup table to solve the issue.

Let's see what we can do...

Regards,
		Stefan