On Wed, Sep 07, 2011 at 05:24:55PM +0200, Thomas Schwinge wrote: > Hi! > > On Mon, 15 Aug 2011 14:31:46 +0200, Jonathan Neuschäfer > <j.neuschae...@gmx.net> wrote: > > In reply to this mail, I'll send some patches. (They are untested) > > Thanks anyway! ;-) (But of course, we prefer tested patches.) > > > > I also planned to send a coccinelle-generated patch, but I didn't review > > it, so it would be a bit pointless. Anyway, this is the coccinelle patch: > > > > @@ expression *p; @@ > > - p = 0 > > + p = NULL > > Do you have any further experience with Coccinelle? As I have read on > <http://coccinelle.lip6.fr/>, ``beyond collateral evolutions, Coccinelle > is successfully used (by us and others) for finding and fixing bugs in > systems code.'' I supposed this would be things like unlocking acquired > locks on *all* function exit paths, etc.? (I began collecting some notes > on <http://www.gnu.org/software/hurd/open_issues/locking_issues.html>.) > Interesting for you?
No, I've only done simple stuff with coccinelle and I don't have the time and testing capacities to do real work on the Hurd. But I think the documentation has improved; there are lots of papers at http://coccinelle.lip6.fr/papers.php. Greetings, Jonathan Neuschäfer
