> This is explicit in Kernel documentation: > > /** > * kfree - free previously allocated memory > * @object: pointer returned by kmalloc() or kmem_cache_alloc() > * > * If @object is NULL, no operation is performed. > */ > > That's exactly the same behaviour as free() in libc. > > So Coccinelle should be fixed if it reports an error for that. Redundant function calls can occasionally be avoided accordingly, can't they? Regards, Markus