[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