Re: [PATCHSET] some random Hurd patches

[Jonathan Neuschäfer]

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
http://coccinelle.lip6.fr/papers.php.

Greetings,
        Jonathan Neuschäfer