Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 18 Nov 2017 17:14:28 +0100
From:      Stefan Esser <se@freebsd.org>
To:        Pedro Giffuni <pfg@FreeBSD.org>, Stefan Esser <se@localhost.FreeBSD.org>
Cc:        src-committers <src-committers@freebsd.org>, "svn-src-all@freebsd.org" <svn-src-all@freebsd.org>, rgrimes@freebsd.org, "svn-src-head@freebsd.org" <svn-src-head@freebsd.org>, "O. Hartmann" <ohartman@zedat.fu-berlin.de>, Warner Losh <imp@bsdimp.com>
Subject:   Re: svn commit: r325954 - in head: . share/mk sys/conf usr.sbin/config
Message-ID:  <0186512e-dc90-6d00-c048-d87a9c1948a3@freebsd.org>
In-Reply-To: <75597b23-7a8c-34ad-736b-8d68ce7dea06@FreeBSD.org>
References:  <201711180134.vAI1Y2ks064138@pdx.rh.CN85.dnsmgr.net> <29499AF9-FC0A-4CDA-9657-B092B3F9A0D0@FreeBSD.org> <04747a89-4dc7-a476-dc32-a158ee1f5240@freebsd.org> <75597b23-7a8c-34ad-736b-8d68ce7dea06@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
Am 18.11.17 um 16:01 schrieb 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@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!

I've got a port that builds all of sparse except sparse-llvm. The sources
use GNU extensions, and I do not think it is worth the effort to provide
standard compliant replacements for them at this time.

Building sparc´se-llvm will take some more effort and require the LLVM port
to be installed, since it references headers not installed by our system
compiler. It is an optional component, but one we definitely should have.

I'm not sure how to proceed, but the easiest path forward is to make the
LLVM support optional and depend on one particular LLVM version (i.e. 4.0
for now) built from a port if the option is enabled.

> For it to be really useful we still would have to add annotations to the
> kernel headers.

Well, those could be added over time ...

> 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!

The port was easy, so far, I'll commit it without sparse-llvm for now.
LLVM support will follow when I've got the remaining build issues resolved.

Regards, STefan



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?0186512e-dc90-6d00-c048-d87a9c1948a3>