>> The truth is I think that all these patches are bad and they make the >> code harder to read. > > I disagree, I think the code requires less effort to read without the > if test. > > A developer reading the code will wonder why kfree does not handle the > case when its argument is NULL. This takes effort.
Does it make a difference for you where such safety checks should be finally placed in the source code? Do you consider different assumptions for function implementations from an operating system in comparison to user applications? How much will corresponding expectations need adjustments with the software evolution? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
