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?


Grüße,
 Thomas

Attachment: pgp38J11nTT5H.pgp
Description: PGP signature

Reply via email to