Olaf,
It should be possible to run lclint on the VC headers, but unfortunately
they use enough compiler extensions that it will require some effort.
For the basetsd.h parse error, the problem is __int64 is not defined as
a type (but builtin to MSVC), so lclint does not recognize it as a type
name. A workaround would be to add -D__int64=int to your command line.
In general, you may prefer to try skipping the VC headers. You can skip
particular header files by using
# ifndef __LCLINT__
# include <bastsd.h>
# end
around them.
--- Dave
