From owner-freebsd-hackers@freebsd.org  Tue Jul 18 18:47:19 2017
Return-Path: <owner-freebsd-hackers@freebsd.org>
Delivered-To: freebsd-hackers@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 B2B88D9D1A1
 for <freebsd-hackers@mailman.ysv.freebsd.org>;
 Tue, 18 Jul 2017 18:47:19 +0000 (UTC) (envelope-from ian@freebsd.org)
Received: from outbound1b.ore.mailhop.org (outbound1b.ore.mailhop.org
 [54.200.247.200])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 8C5057F12A
 for <freebsd-hackers@freebsd.org>; Tue, 18 Jul 2017 18:47:19 +0000 (UTC)
 (envelope-from ian@freebsd.org)
X-MHO-User: 674427e6-6be9-11e7-bfd0-afd4446ba3af
X-Report-Abuse-To: https://support.duocircle.com/support/solutions/articles/5000540958-duocircle-standard-smtp-abuse-information
X-Originating-IP: 73.78.92.27
X-Mail-Handler: DuoCircle Outbound SMTP
Received: from ilsoft.org (unknown [73.78.92.27])
 by outbound1.ore.mailhop.org (Halon) with ESMTPSA
 id 674427e6-6be9-11e7-bfd0-afd4446ba3af;
 Tue, 18 Jul 2017 18:46:26 +0000 (UTC)
Received: from rev (rev [172.22.42.240])
 by ilsoft.org (8.15.2/8.15.2) with ESMTP id v6IIkFO6001673;
 Tue, 18 Jul 2017 12:46:15 -0600 (MDT) (envelope-from ian@freebsd.org)
Message-ID: <1500403575.22314.182.camel@freebsd.org>
Subject: Re: lint(1) improvements from OpenBSD
From: Ian Lepore <ian@freebsd.org>
To: Vasisvaran G <vasis.g@gmail.com>, freebsd-hackers@freebsd.org
Date: Tue, 18 Jul 2017 12:46:15 -0600
In-Reply-To: <CAODkZQhs+i=ZZt01rBeHKJDGPaG8+Fzj5-3Ceae958MffC25Jg@mail.gmail.com>
References: <CAODkZQhs+i=ZZt01rBeHKJDGPaG8+Fzj5-3Ceae958MffC25Jg@mail.gmail.com>
Content-Type: text/plain; charset="ISO-8859-1"
X-Mailer: Evolution 3.18.5.1 FreeBSD GNOME Team Port 
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
 <freebsd-hackers.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers/>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 18 Jul 2017 18:47:19 -0000

On Tue, 2017-07-18 at 12:27 -0500, Vasisvaran G wrote:
> Hackers,
> 
> I am planning to work on
> https://wiki.freebsd.org/IdeasPage#lint.281.29_improvements_from_Open
> BSD.
> Please
> do let me know if anyone has already started working on it on or
> before
> 7/21 so that duplicate effort can be avoided.
> 

I have heard it expressed on the mailing lists in the past year or two
that we should just abandon lint completely.  I dont' think anything
was decided, but it's certainly a sentiment I agree with.  Given all
the static analysis tools available today I'm not sure lint serves any
purpose that isn't already covered by better tools.

-- Ian