Recognition of typedefs in C ?

Hi,
        I am writing a C compiler and am at the parser stage. I have run
into a bit of a problem. I need to enable the lexer to distinguish
typedef names from ordinary identifiers. At first glance, it seemed
that building a table of typedef names was enough - the lexer would
consult this table and return TYPENAME if the name was found in this
table, otherwise IDENTIFIER. However, this is inadequate since
*context* matters. How can this context be discerned ?


The following piece of code demonstrates the inadequacies of a simple
typename table:


typedef int x; /* parser enters 'x' into the typename table */
x blah; /* lexer consults typename table and returns TYPENAME for
'x'. GOOD !!! */


int main ()
{
        int x; /* lexer consults typename table and returns TYPENAME for x.
BAD !!! */
        return 0;
}


Any ideas ??


DP.
[This is by far the ugliest part of parsing C. See the archives, it's
come up before. -John]

Return to the comp.compilers page.
Search the comp.compilers archives again.