Re: [cocci] Searching for function calls with known parameters (by SmPL)?

Julia Lawall <[email protected]> Wed, 25 Mar 2026 09:52:34 +0100 (CET)
Newsgroups fr.inria.cocci
Message-ID <[email protected]>

On Wed, 25 Mar 2026, Markus Elfring wrote:

> Hello!
>
> A function like pm_request_autosuspend() has got the property that it needs
> a single input parameter.
> https://elixir.bootlin.com/linux/v7.0-rc5/source/include/linux/pm_runtime.h#L460-L483
>
> Such an implementation detail can be easily determined also by the means of
> the semantic patch language.
> I imagine that corresponding data processing would become more challenging
> if it should be determined that a varying number of parameters would be passed
> to other function calls at the beginning.
> Can function calls be restricted to known parameters accordingly?

I still have no idea what you are asking about.  What is the connection
between a function call being placed at the beginning of a function and
the number of parameters that that function call requires?

julia