svn commit: r325954 - in head: . share/mk sys/conf usr.sbin/config

[Pedro Giffuni]

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 at 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.