Bugs Fixed

This page documents reported bugs in LCLint 2.1a that are (believed to be) fixed in LCLint 2.1b.

hex constants using U

Bug: Hex constants like 0x01U are not parsed correctly.

duplicatequals

Bug: The duplicatequals flag does not work as advertised.

complex alt types

Bug: Alternate types cannot be complex (e.g., /*@alt int* @*/)
Delayed: This bug is not fixed yet.

notorious bug

Bug: Memory off the end of an allocated block was being accessed in sRefSet.c. (Too bad lclint can't do bounds checking to detect this.) If you have gotten unpredictable Segmentation Violations or other strange behavior, this was probably the cause.

Bugs in Version 2.0 that are fixed in Version 2.1a


LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu