On Sat, Nov 05, 2022 at 12:36:42PM -0400, Steven Rostedt wrote:
----------------------8<------------------------ @@ identifier ptr, timer, rfield, slab; @@ (
- del_timer(&ptr->timer);
- timer_shutdown(&ptr->timer);
|
- del_timer_sync(&ptr->timer);
- timer_shutdown_sync(&ptr->timer);
) ... ( kfree_rcu(ptr, rfield); | kmem_cache_free(slab, ptr); | kfree(ptr); ) ---------------------->8------------------------
Something that might help here is changing the `...` into `... when exists` or into `... when != ptr` or similar. See this section of the manual: https://coccinelle.gitlabpages.inria.fr/website/docs/main_grammar004.html
Jason