[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCHSET] some random Hurd patches

From: Jonathan Neuschäfer
Subject: Re: [PATCHSET] some random Hurd patches
Date: Sun, 11 Sep 2011 12:47:31 +0200
User-agent: Mutt/1.5.21 (2010-09-15)

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.neuschaefer@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

        Jonathan Neuschäfer

reply via email to

[Prev in Thread] Current Thread [Next in Thread]