Message-ID: <20020710073209.6078.qmail@email.com>
Content-Type: text/plain; charset="US-ASCII"
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
From: "dan carpenter" <error27@email.com>
To: viro@math.psu.edu, acme@conectiva.com.br
Cc: rml@mvista.com, haveblue@us.ibm.com, wli@holomorphy.com,
       ricklind@us.ibm.com, greg@kroah.com,
       kernel-janitor-discuss@lists.sourceforge.net,
       linux-kernel@vger.kernel.org
Date: Wed, 10 Jul 2002 02:32:09 -0500
Subject: Re: BKL removal
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1357
Lines: 37

----- Original Message -----
From: Alexander Viro 
To: Arnaldo Carvalho de Melo <acme@conectiva.com.br>
Subject: Re: BKL removal
 
> On Tue, 9 Jul 2002, Arnaldo Carvalho de Melo wrote:
> 
> > Try smatch:
> > 
> > http://smatch.sf.net
> > 
> > And see if you can write a smatch script to get a good broom for this trash 8)
> 

I certainly am flatterred :) 

But basically what Alexander Viro said is all true.  The other problem that he didn't mention was that I don't see how checkers can be built to handle loops.  In writing smatch I just ignore loops altogether.

For now I just take the quick and dirty approach.  Also smatch really isn't finished yet.  I worked on it for a half hour tonight and fixed the bugs with the lock_kernel check.  Tomorrow I'll maybe add support for while, for, switch and break statements.

regards,
dan carpenter


-- 
__________________________________________________________
Sign-up for your own FREE Personalized E-mail at Mail.com
http://www.mail.com/?sr=signup

Save up to $160 by signing up for NetZero Platinum Internet service.
http://www.netzero.net/?refcd=N2P0602NEP8

-
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/