Date: Thu, 11 Feb 2016 13:20:38 +0200 From: Konstantin Belousov <kostikbel@gmail.com> To: arch@freebsd.org Cc: bde@freebsd.org Subject: Goodbye for lint(1) Message-ID: <20160211112038.GQ91220@kib.kiev.ua>
next in thread | raw e-mail | index | archive | help
--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 __<arch>__ 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--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20160211112038.GQ91220>