> +// Copyright: (C) 2017 Himanshu Jha GPLv2.

* Is the addition “(C)” required?
* Does the year number need an update?



My software development attention was caught by further implementation details
in this evolving SmPL script.


> +@depends on context && r1@

Will the use of a position variable be helpful here?



> +  \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|

Did you consider to handle the relevant function names by a metavariable
instead of a SmPL disjunction?

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

Reply via email to