Re: problem with C grammar

"the.malfunction@googlemail.com" wrote:


> As it seems, the lexical scanner is proposed to analyse whether an
> identifier is a type or not. I rather would like to let the parser do
> this job.


The handling of symbols is a complex thing in C. Lately I've written an
LL(1) parser for C, where a global symbol table classifies all names
into keywords, macros and identifiers, and further classifies global
identifiers as names of types, (enumerated) constants etc. Since in C
all typenames have global scope, the implementation of such a
classification is not very complicated.


> Is there any way to change the grammar such that I can use
> IDENTIFIER instead of TYPE_NAME here without having all those conflicts?
> [This is the hardest part of parsing C. -John]


In C++ I suspect more problems with namespaces, which prevent the use of
a common global STB.


DoDi

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