Re: [PATCH] CodingStyle: Clarify and complete chapter 7

From: Jonathan Corbet
Date: Sun Aug 14 2016 - 16:45:54 EST


On Sun, 14 Aug 2016 13:12:33 -0700
Mark D Rustad <mrustad@xxxxxxxxx> wrote:

> >> + err:
> >> kfree(foo->bar);
> >> kfree(foo);
> >> return ret;
> >>
> >> The bug in this code is that on some exit paths "foo" is NULL. Normally the
> >
> > ...except that kfree() can handle null pointers just fine, so this isn't
> > actually a bug, right? Someday when somebody has time it would be good to
> > come up with a better example.
>
> But if foo is NULL, foo->bar is not NULL and so kfree will have a problem
> with it. So this is a bug.

Oops, sigh, duh. OK, ignore me. (Though technically kfree will not have a
problem with it, since things won't get that far.. :)

jon