LCLint Version 2.3i
3 September 1997
Versione 2.3i is a minor minor upgrade to Version 2.3h. These are the
release notes for Version 2.3h.
Bug Fixes
Bugs reported in Version 2.2a have been fixed.
New Features
Improved flow analysis
LCLint now interprets obvious non-terminating loops (for (;;)
and while (TRUE) that have no breaks) correctly.
Bitwise Operators
If bitwise-signed
is set, LCLint will report messages when a bitwise operator is used with
a signed operand. Similarily, if shift-signed is
set, LCLint will report messages when the left operand of a shift
operator is signed.
Other New Flags
use-stderr
Send error messages to standard error (instead of standard out).
imp-type
A variable declaration has no explicit type. The type is
implicitly int.
incomplete-type
A formal parameter is declared with an incomplete type (e.g.,
int[][]).
float-double
Make float and double types equivalent.
Thanks
Many people have contributed to this release with suggestions for new
features, porting help, bug reports, and bug fixes. As always, LCLint
development is largely user-driven, and your comments and suggestions
are much appreciated.
Previous release notices
David
Evans
University of Virginia, Computer Science
[email protected]