From owner-svn-src-all@freebsd.org  Sun Nov 19 09:51:32 2017
Return-Path: <owner-svn-src-all@freebsd.org>
Delivered-To: svn-src-all@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id B85BBDF09D4;
 Sun, 19 Nov 2017 09:51:32 +0000 (UTC)
 (envelope-from brde@optusnet.com.au)
Received: from mail109.syd.optusnet.com.au (mail109.syd.optusnet.com.au
 [211.29.132.80])
 by mx1.freebsd.org (Postfix) with ESMTP id 6F921721BB;
 Sun, 19 Nov 2017 09:51:31 +0000 (UTC)
 (envelope-from brde@optusnet.com.au)
Received: from [192.168.0.103] (c110-21-101-228.carlnfd1.nsw.optusnet.com.au
 [110.21.101.228])
 by mail109.syd.optusnet.com.au (Postfix) with ESMTPS id EDFB8D6314A;
 Sun, 19 Nov 2017 20:21:10 +1100 (AEDT)
Date: Sun, 19 Nov 2017 20:21:10 +1100 (EST)
From: Bruce Evans <brde@optusnet.com.au>
X-X-Sender: bde@besplex.bde.org
To: Pedro Giffuni <pfg@freebsd.org>
cc: Stefan Esser <se@freebsd.org>, 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
In-Reply-To: <75597b23-7a8c-34ad-736b-8d68ce7dea06@FreeBSD.org>
Message-ID: <20171119200731.U974@besplex.bde.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>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-Optus-CM-Score: 0
X-Optus-CM-Analysis: v=2.2 cv=KeqiiUQD c=1 sm=1 tr=0
 a=PalzARQSbocsUSjMRkwAPg==:117 a=PalzARQSbocsUSjMRkwAPg==:17
 a=kj9zAlcOel0A:10 a=VwQbUJbxAAAA:8 a=x4kcjblwntydQM_CTLwA:9
 a=CjuIK1q_8ugA:10 a=pXTjMIipiugA:10 a=AjGcO6oz07-iQ99wixmX:22
X-BeenThere: svn-src-all@freebsd.org
X-Mailman-Version: 2.1.25
Precedence: list
List-Id: "SVN commit messages for the entire src tree \(except for &quot;
 user&quot; and &quot; projects&quot; \)" <svn-src-all.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-all/>
List-Post: <mailto:svn-src-all@freebsd.org>
List-Help: <mailto:svn-src-all-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/svn-src-all>,
 <mailto:svn-src-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 19 Nov 2017 09:51:32 -0000

On Sat, 18 Nov 2017, Pedro Giffuni wrote:

> On 11/18/17 09:15, Stefan Esser wrote:
>>> 
>>> 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.

Not just kernel headers, but also user headers and applications.

Ugh, it is the annotations that are the main cost of supporting lint
(or any other checker that needs some).

Bruce