On Wed, 12 Jun 2002, Benjamin LaHaise wrote:
> 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
... in which case it will be useless - anything callable from path_walk()
will be out of its scope and that's a fairly large part of VFS, filesystems,
VM and upper halves of block devices.
> additional rules imposed on the system. Checker seems to be growing
> functionality in this area, so it seems like a useful feature request.
Just be careful with that loop - (mutual) recursion through ->follow_link()
must be special-cased if you want anything interesting to come out of that.
-
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/
This archive was generated by hypermail 2b29 : Sat Jun 15 2002 - 22:00:27 EST