tech-kern archive

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

Re: Lining the kernel (Was: __dead functions)

To: NetBSD Kernel Technical Discussion List <tech-kern%netbsd.org@localhost>
Subject: Re: Lining the kernel (Was: __dead functions)
From: David Holland <dholland-tech%netbsd.org@localhost>
Date: Sat, 19 Jul 2008 03:48:05 +0000

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%netbsd.org@localhost

References:
- Lining the kernel (Was: __dead functions)
  - From: Valeriy E. Ushakov

Prev by Date: Re: inode open
Next by Date: Conflicting mutex(9) man page ?
Previous by Thread: Lining the kernel (Was: __dead functions)
Next by Thread: Conflicting mutex(9) man page ?
Indexes:

Home | Main Index | Thread Index | Old Index