Re: [CHECKER] 37 stack variables >= 1K in 2.4.17

Benjamin LaHaise (bcrl@redhat.com)
Wed, 12 Jun 2002 18:38:54 -0400

On Wed, Jun 12, 2002 at 06:26:55PM -0400, Alexander Viro wrote:
> Not realistic - we have a recursion through the ->follow_link(), and
> a lot of stuff can be called from ->follow_link(). We _do_ have a
> limit on depth of recursion here, but it won't be fun to deal with.

Perfection isn't what I'm looking for, rather just an approximation.
Any tool would have to give up on non-trivial recursion, or have
additional rules imposed on the system. Checker seems to be growing
functionality in this area, so it seems like a useful feature request.

-ben

-- 
"You will be reincarnated as a toad; and you will be much happier."
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/