>> @display@
>> @@
>> (dev_err
>> |dev_info
>> )       (
>> *        <+... get_device(...) ...+>
>>         )
>>
>>
>> Is such a test result worth for further software development considerations?
>
> No.
>
> <+... ...+> as an expression matches a single expression.

How does this information fit to the description from the software 
documentation?
https://github.com/coccinelle/coccinelle/blob/7cf2c23e64066d5249a64a316cc5347831f7a63f/docs/manual/cocci_syntax.tex#L783

“…, and another (<+... ...+>) indicates that the pattern in between
the ellipses must be matched at least once, on some control-flow path.
…”


> The function has multiple arguments.

Function-like macro calls should be found here.
https://elixir.bootlin.com/linux/v5.7-rc4/source/include/linux/dev_printk.h#L93

How should expression lists be handled for such an use case?

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

Reply via email to