Bug: Hex constants like 0x01U are not parsed correctly.
Bug: The duplicatequals flag does not work as advertised.
Bug: Alternate types cannot be complex (e.g., /*@alt int* @*/)
Delayed: This bug is not fixed yet.
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