Hi;
On 11/18/17 09:15, Stefan Esser wrote:
Am 18.11.17 um 03:31 schrieb Pedro Giffuni:
On Nov 17, 2017, at 20:34, Rodney W. Grimes <free...@pdx.rh.cn85.dnsmgr.net>
wrote:
[ Charset UTF-8 unsupported, converting... ]
Kib@ posted to arch that we were removing it, nobody objected, we removed
it. If it was a working feature that might have a few users, that's one
thing. But I don't think make lint has actually worked in at least a decade.
Thats a sad state of affairs.
t’s not sad, just the way things are, modern compilers are doing much of the
checking older tools like lint used to do.. OpenBSD and DragonflyBSD both
killed lint ages ago.
OTOH, we should probably consider other tools, like sparse:
https://sparse.wiki.kernel.org/index.php/Main_Page
The license is fine and it plays nice with the compiler.
It builds on -CURRENT, but the Makefile needs some tweaks (it does
not find LLVM or Gtk+-2.0, even though they are present on my system).
I'll work on a port over the weekend ...
Thanks!
For it to be really useful we still would have to add annotations to the
kernel headers.
I just resurrected a recent proposal from brooks@ into the IdeasPage:
https://wiki.freebsd.org/IdeasPage#Userspace_Address_Space_Annotation
It is actually a fun project but my hands are full!
Pedro.
_______________________________________________
svn-src-all@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "svn-src-all-unsubscr...@freebsd.org"
