Date: Sat, 18 Nov 2017 10:01:03 -0500 From: Pedro Giffuni <pfg@FreeBSD.org> To: Stefan Esser <se@freebsd.org> Cc: rgrimes@freebsd.org, "svn-src-head@freebsd.org" <svn-src-head@freebsd.org>, "svn-src-all@freebsd.org" <svn-src-all@freebsd.org>, src-committers <src-committers@freebsd.org>, Warner Losh <imp@bsdimp.com>, "O. Hartmann" <ohartman@zedat.fu-berlin.de> Subject: Re: svn commit: r325954 - in head: . share/mk sys/conf usr.sbin/config Message-ID: <75597b23-7a8c-34ad-736b-8d68ce7dea06@FreeBSD.org> In-Reply-To: <04747a89-4dc7-a476-dc32-a158ee1f5240@freebsd.org> References: <201711180134.vAI1Y2ks064138@pdx.rh.CN85.dnsmgr.net> <29499AF9-FC0A-4CDA-9657-B092B3F9A0D0@FreeBSD.org> <04747a89-4dc7-a476-dc32-a158ee1f5240@freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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 <freebsd@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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?75597b23-7a8c-34ad-736b-8d68ce7dea06>