Re: [cocci] Search challenges for “statement lists”?

Markus Elfring
2025-07-02T09:11:57Z

> You can write { sl }.

Such a source code search pattern can occasionally be helpful.
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/b00c5adb1a485321c88450bdaa9e0d9ff93123dc/docs/manual/cocci_syntax.tex#L348-350

> You can't write S1 sl S2.

Which software constraints would hinder the application of such a metavariable combination
so far?

> There exists no representation of a list of statements that sl can bind to.
Is there a need to clarify further possible software extensions?

Regards,
Markus