On Mon, 2 Jan 2012, SF Markus Elfring wrote:

There is no problem with leading underscores.  You are missing some macro
definitions, probably.

I assume that it is still a configuration challenge to get rid of a message like
"__dest: present in 16 parsing errors" for the source file "string.h".

You have to look at the context of __dest to see how it does not follow the normal C grammar. Often the problem is not the specified token, but something nearby that causes the parser to interpret the specified token in the wrong way.

Can the tool "spatch" help a bit more to resolve such an open issue for the
completion of source code analysis?

I don't think so. As I have mentioned in another context, yacc-like parsing technology is not known for the ability to generate helpful error messages. And please don't suggest other parsing technologies. The amount of work to implement a C parser is enormous.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to