> From: [email protected] [mailto:splint-discuss- > [email protected]] On Behalf Of David Collier > Sent: Tuesday, 18 September, 2012 10:37 > > I can't find documentation on the predefined macro __LCLINT__ anywhere.
Splint is descended from LCLint. See the first answer in the Splint FAQ [1]. As of Splint 3.0 (the first release of Splint - the numbering follows LCLint releases), LCLint is deprecated. > Could someone please tell me where it is documented? In the source for Splint. I don't know of anywhere else it appears; it's not mentioned in any of the versions of the LCLint User's Guide I could find. > Plus is there an equivalent meaning "SPLINT" or does the same serve for > both? The preferred control macro for Splint is S_SPLINT_S [2]. [1] http://www.splint.org/faq.html [2] http://www.splint.org/manual/html/sec14.html#_Toc534975037 -- Michael Wojcik Technology Specialist, Micro Focus This message has been scanned by MailController - portal1.mailcontroller.co.uk _______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
