> If you look at the existing coccinelle script there is even one > to remove unnecessary checks for null before calling kfree. The avoidance of extra pointer checks is an other use case than omitting redundant function calls, isn't it? Regards, Markus