> My personal view, if gcc can parse&compile it, spatch should correctly parse
> it. There seem to be some discrepancies currently.

Parsing is hard.  Currently, our view is if it is in the Linux kernel
source code, we would like to try to parse it maybe.  There will be some
work on the parser in the next few months, however.

Actually, the current issue is not a parsing problem but a matching
problem.  I guess it could become a parsing problem by just considering
the second const to be a comment.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to