[Cocci] Support for SmPL ellipsis in logical expressions?

SF Markus Elfring elfring at users.sourceforge.net
Mon Dec 29 14:41:16 CET 2014


> It has nothing particularly to do with a conditional.

Thanks for your quick feedback.


> || has two arguments, both expressions.

That is clear.


> If you want to describe a subterm of an expression, you have to put
> <+...  ...+> around it.

I have tried to express the possibility that additional operators
like "logical not" are optional in my semantic filter approach.

I try to find also function implementations which have got similar 
properties like the function "kernfs_put".
https://git.kernel.org/cgit/linux/kernel/git/stable/linux-stable.git/tree/fs/kernfs/dir.c?id=9b053f3207e8887fed88162a339fdd4001abcdb2#n383

Regards,
Markus


More information about the Cocci mailing list