From owner-freebsd-hackers@freebsd.org Tue Jul 18 20:24:27 2017 Return-Path: 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 ED25AD9F6A4 for ; Tue, 18 Jul 2017 20:24:27 +0000 (UTC) (envelope-from vasis.g@gmail.com) Received: from mail-oi0-x22b.google.com (mail-oi0-x22b.google.com [IPv6:2607:f8b0:4003:c06::22b]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id A84B982941; Tue, 18 Jul 2017 20:24:27 +0000 (UTC) (envelope-from vasis.g@gmail.com) Received: by mail-oi0-x22b.google.com with SMTP id p188so27204182oia.0; Tue, 18 Jul 2017 13:24:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=/WAGlu977d2vCmXeNycnTWA8Wp+MGxaezb+aUhqUCbI=; b=BTW4VgLZItZkvWXBC0BT2yK1OS4lN1yfB/hG3NFHlg7ko5dt6sG1EUIvVfyqYBSFwZ bzvNcU13KofFclNjLjqzOPpKa6TMXLUlbfAGFJCGrSKhb1r9WbFdJJ7QFlygssb9EUck xf5F1oxJQtxlyWrmM1gSRvBrlsw24LSPcq35S51w5/RmKD4yUov+YBJsUDHKc3PqBObk 8+Wv2NyPg6gFVFhDJEPT1HvHhvl2SLv/SrWf6d9xPFu19/Qza9oesYFGtUUmeZYnktNm oiP9qN7wfevXjKiiF0xboyYa/UULGFEYM4IogoSOuiQYUgCknIcCp0gRSk0NgDZfIfSy lObA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=/WAGlu977d2vCmXeNycnTWA8Wp+MGxaezb+aUhqUCbI=; b=Qntdtyu5NsODNimvW3jzYRvsBPsEidTo8NL/UHIKOdpAM4axU2YZh6cblfCBwsNrG0 a8yqQC4S6RUZF9awG6rC+jig7n/gY/0FhVT4qHqtkrEGyBNjXyuDDV67Ab5PZHYpUnZ8 ozpoBPO5qpaxQeq8HloywWrMXfssquagg3o1ayBnB9Gp/G2CgSrLnkI7vTfuiasB3LcL i03E2gSchOy4vwo3gRI5ZW+LAgfHjA8w7wkLYOanqHaioId1/uXf02xztpGd9n2IlMSt B+xuAgCrcYgmbL1f2EcHug8XrcsbROXJ0VXJyY3JloUo88NvBzjTXQZn9t2DNtYl4faM 2dHg== X-Gm-Message-State: AIVw113ddbe6musMFdSNAPlmYm88qxLBMVGauPQ30XqIh9a6u6CfBnnQ hDnoFai0RxtIYKajgi7vK8wOa83LPg== X-Received: by 10.202.80.66 with SMTP id e63mr2438903oib.152.1500409466788; Tue, 18 Jul 2017 13:24:26 -0700 (PDT) MIME-Version: 1.0 References: <1500403575.22314.182.camel@freebsd.org> In-Reply-To: <1500403575.22314.182.camel@freebsd.org> From: Vasisvaran G Date: Tue, 18 Jul 2017 20:24:16 +0000 Message-ID: Subject: Re: lint(1) improvements from OpenBSD To: Ian Lepore , freebsd-hackers@freebsd.org Content-Type: text/plain; charset="UTF-8" X-Content-Filtered-By: Mailman/MimeDel 2.1.23 X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 18 Jul 2017 20:24:28 -0000 Yes, I agree. On Tue, Jul 18, 2017 at 1:46 PM Ian Lepore wrote: > 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 > -- Regards, Vasisvaran