From owner-freebsd-arch@freebsd.org Thu Feb 11 16:27:28 2016 Return-Path: Delivered-To: freebsd-arch@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 CEA7CAA5E61 for ; Thu, 11 Feb 2016 16:27:28 +0000 (UTC) (envelope-from rpaulo@me.com) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id BC4B2A8D for ; Thu, 11 Feb 2016 16:27:28 +0000 (UTC) (envelope-from rpaulo@me.com) Received: by mailman.ysv.freebsd.org (Postfix) id BAA79AA5E60; Thu, 11 Feb 2016 16:27:28 +0000 (UTC) Delivered-To: arch@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 BA488AA5E5F for ; Thu, 11 Feb 2016 16:27:28 +0000 (UTC) (envelope-from rpaulo@me.com) Received: from mr11p00im-asmtp002.me.com (mr11p00im-asmtp002.me.com [17.110.69.253]) (using TLSv1.2 with cipher DHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id AAD68A8C; Thu, 11 Feb 2016 16:27:28 +0000 (UTC) (envelope-from rpaulo@me.com) Received: from akita.hsd1.ca.comcast.net (c-73-162-13-215.hsd1.ca.comcast.net [73.162.13.215]) by mr11p00im-asmtp002.me.com (Oracle Communications Messaging Server 7.0.5.36.0 64bit (built Sep 8 2015)) with ESMTPSA id <0O2E00C8Q5PLXV30@mr11p00im-asmtp002.me.com>; Thu, 11 Feb 2016 16:27:22 +0000 (GMT) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2016-02-11_06:,, signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 clxscore=1011 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1510270003 definitions=main-1602110281 Message-id: <1455208039.2282.1.camel@me.com> Subject: Re: Goodbye for lint(1) From: Rui Paulo To: Konstantin Belousov , arch@freebsd.org Cc: bde@freebsd.org Date: Thu, 11 Feb 2016 08:27:19 -0800 In-reply-to: <20160211112038.GQ91220@kib.kiev.ua> References: <20160211112038.GQ91220@kib.kiev.ua> Content-type: text/plain; charset=UTF-8 X-Mailer: Evolution 3.18.3-1 MIME-version: 1.0 Content-transfer-encoding: 7bit X-BeenThere: freebsd-arch@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Discussion related to FreeBSD architecture List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 11 Feb 2016 16:27:28 -0000 On Thu, 2016-02-11 at 13:20 +0200, Konstantin Belousov wrote: > I believe the time has come to remove lint and its libraries from the > system. I did some manipulations with the mcontext_t/ucontext_t to > make > us more POSIX-compatible, and found several things about lint(1) > which > cause serious questions about tool usefulness. > > My main point is that the lint processing starts with "cc -E -undef" > producing the preprocessed source of the linted file or library. The > -undef switch removes (almost) all predefined symbols, most > importantly, > the ____ and __LP64__ and its variants are dropped. > > Due to this, for the whole 10.x lifetime, since the merge of the i386 > and amd64 MD includes, lint cannot ever correctly work on amd64. The > same should be true for powerpc, and there headers are more unified > and > the effect is less enchanting. Even on i386, since headers other than > _type.h tend to use #ifdef __i386__/#endif and #ifdef > __amd64__/#endif, > lint cannot see a lot of system. > > Nobody complained for 3 (?) years about the tool which clearly > misfunctioned. I propose to kill it as unused. Modern compilers do > much > better job at diagnosing inconsistencies supposedly detected (but > really > not) by lint. Yes, it should've been removed years ago... -- Rui Paulo