| Subject: | Re: Lining the kernel (Was: __dead functions) |
|---|---|
| From: | David Holland <dholland-tech@xxxxxxxxxx> |
| Date: | Sat, 19 Jul 2008 03:48:36 UTC |
| Newsgroups: | fa.netbsd.tech.kern |
On Fri, Jul 18, 2008 at 09:59:48PM +0400, Valeriy E. Ushakov wrote: > IIRC, the current showstopper is that lint is thoroughly confused by > the mbuf code. Have you tried splint? Our lint is... mature. (I've also been meaning to try Linus's sparse on the kernel sometime.) -- David A. Holland dholland@xxxxxxxxxx |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: inode open, Jason Thorpe |
|---|---|
| Next by Date: | Conflicting mutex(9) man page ?, Paul Goyette |
| Previous by Thread: | Lining the kernel (Was: __dead functions), Valeriy E. Ushakov |
| Next by Thread: | Conflicting mutex(9) man page ?, Paul Goyette |
| Indexes: | [Date] [Thread] [Top] [All Lists] |