Guys
Just started to use splint in IDE of Visual C++ 2008 Expression
Edition and its not working.
When I execute splint it gives me the following log.Sorry for
including this long log here.
splint has not even touch the source code that I have written.
Thanks in advance,AJ
[
Command Line: Cannot open options file: C:\Program
There was a problem reading an initialization file (Use -warnrc to inhibit
warning)
Command Line: Unrecognized file extension:
Files\splint-3.1.1\bin\.splintrc (assuming .splintrc is C source code)
warn when command line file does not have a recognized extension (Use
-fileextensions to inhibit warning)
Cannot open file: Files\splint-3.1.1\bin\.splintrc
C:\include\vadefs.h(52,26): Datatype uintptr_t declared with inconsistent type:
unsigned int
A function, variable or constant is redefined with a different type. (Use
-incondefs to inhibit warning)
load file standard.lcd: Specification of uintptr_t: unsigned int *
C:\include\crtdefs.h(490,26): Datatype size_t declared with inconsistent type:
unsigned int
load file standard.lcd: Specification of size_t:
arbitrary unsigned integral type
C:\include\crtdefs.h(506,26): Datatype intptr_t declared with inconsistent
type: int
load file standard.lcd: Specification of intptr_t: int *
C:\include\crtdefs.h(524,26): Datatype ptrdiff_t declared with inconsistent
type: int
load file standard.lcd: Specification of ptrdiff_t: arbitrary integral type
C:\include\crtdefs.h(530,24): Datatype wchar_t declared with inconsistent type:
unsigned short int
load file standard.lcd: Specification of wchar_t: arbitrary integral type
C:\include\crtdefs.h(535,24): Datatype wint_t declared with inconsistent type:
unsigned short int
load file standard.lcd: Specification of wint_t: arbitrary integral type
C:\include\crtdefs.h(536,24): Datatype wctype_t declared with inconsistent
type: unsigned short int
load file standard.lcd: Specification of wctype_t: arbitrary integral type
C:\include\crtdefs.h(574,27): Parse Error:
Suspect missing struct or union keyword: __int64 :
long int. (For help on parse errors, see splint -help parseerrors.)
*** Cannot continue.
]
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
