> 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 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
