Hello all,
I unpacked recent version of splint for Win32 and tried some test. But I am
getting strange message:
Splint 3.1.1 --- 12 April 2003
include\nrkapi.h(479,42): Semantic comment unrecognized: 4
Word after a stylized comment marker does not correspond to a stylized
comment. (Use -unrecogcomments to inhibit warning)
include\nrkapi.h(508,60): Semantic comment unrecognized: 5
include\nrkapi.h(1287,21): Parse Error. (For help on parse errors, see splint
-help
parseerrors.)
*** Cannot continue.
But on these lines there is IMHO nothing bad:
#define _TK_NEW_PROPERTY_VALUE_WRONG 0XFF010014
#define _SUB_END_WITH_TIME_LIMIT 0xff010026
typedef void (*FsStatusCBP)(Int32 parSet,UInt32 parStatus);
Even if I comment out the line 479, I get the same error.
Can I somehow debug this problem ?
Thank you in advance,
Vaclav
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
