[cocci] Completing SmPL metavariable types?
Markus Elfring <[email protected]> Sun, 5 Apr 2026 07:56:33 +0200
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <[email protected]> |
Hello! Metavariables are supported to some degree. https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/03a1af0a3316ddfc2b54d827b8b9627a841c85c9/docs/manual/cocci_syntax.tex#L209-288 A few types are still missing according to the known abstraction hierarchy. Examples: * https://en.cppreference.com/w/c/language/operator_other.html#Function_call https://en.cppreference.com/w/c/preprocessor/replace.html#Function-like_macros Is there a need for a special representation of function/macro calls? * https://en.cppreference.com/w/c/language/operator_assignment.html Would it occasionally be also helpful to restrict expressions to assignments? How will data processing support grow for such items? Regards, Markus