From owner-freebsd-arch@freebsd.org Thu Feb 11 11:20:45 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 42EE6AA5E44 for ; Thu, 11 Feb 2016 11:20:45 +0000 (UTC) (envelope-from kostikbel@gmail.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 27CFE94B for ; Thu, 11 Feb 2016 11:20:45 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: by mailman.ysv.freebsd.org (Postfix) id 1B9E5AA5E43; Thu, 11 Feb 2016 11:20:45 +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 1B371AA5E42 for ; Thu, 11 Feb 2016 11:20:45 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: from kib.kiev.ua (kib.kiev.ua [IPv6:2001:470:d5e7:1::1]) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 8E8C8948; Thu, 11 Feb 2016 11:20:44 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: from tom.home (kostik@localhost [127.0.0.1]) by kib.kiev.ua (8.15.2/8.15.2) with ESMTPS id u1BBKdmV066291 (version=TLSv1 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NO); Thu, 11 Feb 2016 13:20:39 +0200 (EET) (envelope-from kostikbel@gmail.com) DKIM-Filter: OpenDKIM Filter v2.10.3 kib.kiev.ua u1BBKdmV066291 Received: (from kostik@localhost) by tom.home (8.15.2/8.15.2/Submit) id u1BBKcCq066289; Thu, 11 Feb 2016 13:20:38 +0200 (EET) (envelope-from kostikbel@gmail.com) X-Authentication-Warning: tom.home: kostik set sender to kostikbel@gmail.com using -f Date: Thu, 11 Feb 2016 13:20:38 +0200 From: Konstantin Belousov To: arch@freebsd.org Cc: bde@freebsd.org Subject: Goodbye for lint(1) Message-ID: <20160211112038.GQ91220@kib.kiev.ua> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="SLfjTIIQuAzj8yil" Content-Disposition: inline User-Agent: Mutt/1.5.24 (2015-08-30) X-Spam-Status: No, score=-2.0 required=5.0 tests=ALL_TRUSTED,BAYES_00, DKIM_ADSP_CUSTOM_MED,FREEMAIL_FROM,NML_ADSP_CUSTOM_MED autolearn=no autolearn_force=no version=3.4.1 X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on tom.home 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 11:20:45 -0000 --SLfjTIIQuAzj8yil Content-Type: text/plain; charset=us-ascii Content-Disposition: inline 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. --SLfjTIIQuAzj8yil Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJWvG6GAAoJEJDCuSvBvK1BImwP/0PHl1UWOgPC2R9V+iN+Wzwt EUii6moYouXmUljpX2mhCSc9OftDKrxwHYbFwncnt/zaIy+mlyFO7aVgYuixwOG8 knW05NOSX+voSPgn3iZezlpse9WI9h/sqRbF2JxCbYX7ClpGj/zBiqAIwEjVQgH2 nl4WfiVYQSxLJhNWT9e//oAhrTE34sWBvQ1Osr6tZbgzhYkMFHGJiTPF68HZp+zh 7mLNoI0NjAZfD5ltCTpnN/EG5ENTmrzXaY8JudUeW3M00SjXQYH+l2RGd0A9/awR GcrJJnL6gWjCk7FM1UPOdDP4+e6Y7KsGcic7qI75zVrqh9HyNAf4QAtCjafKhbG/ Khkbm+9D2Zaib6tSHPVjMEBjWoIOyN8vkXSU7kEV9EuQgWOQSAaAtV745rQjSFRK MhpAIFFQ2UIBY6gVqI+4p1jtWNRVdeuggYtEfrtOsq1OOle6qHA6r+OPCct1YfAH 4h3NATMmj+uVOVq6HOGbAwaGFRFihWa2bmO4tve6At4upNGmBzO4llL1PxsASrGD ye2hVpLaPN9tLPQzZzmNOZSxb4hFGySdFDGt7tJF4W0qUiWI9Xj7V/A3Cza++5UT DTIeaBe4f/L1PrvOdCN7svz/UOWDbQTkbiArsLb4DepZhBRB6GUGog9FpX+4AyD4 dRE6iZHnPI/PdZIy8B7K =yBbo -----END PGP SIGNATURE----- --SLfjTIIQuAzj8yil--