Re: filldir[64] oddness

From: Bryan O'Sullivan
Date: Thu Mar 09 2006 - 12:12:31 EST


On Thu, 2006-03-09 at 12:07 -0500, Dave Jones wrote:

> > About half of the ~50 reports I've looked at so far in their database
> > have been false positives. In most of those cases, it's not obvious how
> > a checker might have gotten them right instead, though.
>
> It seems to stumble quite a bit when faced with things that are
> free'd when refcounts drop to zero. (skbs, and kobjects).

Yes, or (in my case) stuff like "when this variable has value X, that
pointer can't possibly be NULL".

<b

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/