Re: [cocci] Checking another deletion of redundant null pointer checks (with SmPL)?

[Markus Elfring <Markus.Elfring@web.de>]

>> 2) The proper scientific method is to cange only one thing at a time.
> Can any software developers determine the concrete command which would perform
> the indicated “Grep query”?

I got the impression that a function like “interpret” contains interesting
implementation details.
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/582d2ebd4543dd7febf0670f4a104679ec8bbc2d/parsing_cocci/git_grep.ml#L9-35
https://github.com/coccinelle/coccinelle/blob/4093aad2da23ea5c86916de0a71f43032fc2bb2f/parsing_cocci/git_grep.ml#L9-L23

Some data processing results can be produced accordingly.

Markus_Elfring@Sonne:/home/altes_Heim2/elfring/Projekte/Linux/next-analyses/drivers/infiniband/hw/cxgb4> git grep -l -w kfree '*.c' | rg -v .in | rg device
device.c

Markus_Elfring@Sonne:/home/altes_Heim2/elfring/Projekte/Linux/next-analyses/drivers/infiniband> git grep -l -w kfree '*.c' | rg -v .in | rg cxgb4/device
hw/cxgb4/device.c

Markus_Elfring@Sonne:/home/altes_Heim2/elfring/Projekte/Linux/next-analyses/drivers> git grep -l -w kfree '*.c' | rg -v .in | rg cxgb4/device


Would you become interested to clarify why I do not see another search result here
(while the program “spatch” would still generate an expected diff output for
the selected directory)?

Regards,
Markus