Release 2.5q is a minor upgrade to the last public release, Version 2.5m.

Download

Enhancements

Fixed boolean type checking to treat user boolean types consistently. Added the -zerobool mode flag to control whether or not 0 may be treated as a boolean (the default in standard mode is to allow 0 to represent boolean FALSE, as was the old behavior).

Bug Fixes

LCLint reports an internal error for violations of pre-clauses at function exits. The pre special clauses should not be checked at function exit points. (Reported by Bernd Warken).

If +relaxquals is set (as in standard mode), LCLint does not report an error when an int * is passed as a long int *, even though this is dangerous. (Reported by Peter van Hoof).

The parser appeared broken under certain compilers with optimizations turned on and versions of bison. This had to do with stray use of an old sgrammar.h and sgrammar_tokens.h files.

Search path for include files in nested directories does not handle current directory correctly. (Reported by Simon Dyke)

LCLint handles int[][2] in a parameter list differently from int p[][2] (revealed through spurious incomplete type errors). (Reported by Peter van Hoof.)

LCLint crashes on malformed syntactic comments like /*@-PRIVATE-CALLS-@*/. (Reported by Wolfgang Stolzenburg.)

LCLint does not support %lld format codes in printf for long long. (Reported by Denis Baylor.)

LCLint incorrectly assumes elements of stack-allocated arrays are stack-allocated. (Reported by Denis Baylor.)

LCLint does not return EXIT_FAILURE as it should when the error counts do not match. (Reported by Herbert Dietze.)

LCLint reports an error for hex constants ending with U and L modifiers. (Reported by David Denholm.)

Internal error in cttable.i when creating a library file requires a comparison between two special ctypes (e.g., "..." in function types). (Reported by Martin Smoot.)