tech-kern archive

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

Re: KASSERTMSG fix



On Mon, 26 Sep 2011, Joerg Sonnenberger wrote:

> On Mon, Sep 26, 2011 at 01:13:03AM +0200, Jean-Yves Migeon wrote:
> > Just curious: clang comes with a static analyzer nowadays; wouldn't
> > it be any better than the old lint, or is it missing features that
> > can't make it a decent replacement for lint?
>
> The only real feature missing from lint is the "link" support, aka
> inter-file consistency checking.

how do you mean?

using "make lint" with NetBSD makefiles, if a function is prototyped
differently in separate source files, lint will pick that up in the second
pass..

iain


Home | Main Index | Thread Index | Old Index