How to resolve parse error in Splint
Question
Splint is not continuing it's checking after finding parse errors. I've tried with +trytorecover option also but no change.
Please let me know on how to use +trytorecover to make Splint attempt to continue after a parse error.
Here is what I'm receiving,
161: splint +trytorecover spy.c
Splint 3.1.1 --- 19 Jul 2006
spy.c:41:12: Parse Error: Non-function declaration: byte_4 :
int. Attempting to continue.
spy.c:41:12: Cannot recover from parse error.
*** Cannot continue.
Solution
Can you post the code snippet which is causing the error?
Update:
By the way - I was facing a parse error in splint (not similar to the one you posted) and posted a query on the splint mailing lists. I got a prompt response. I later googled for "splint Non-function declaration" and found the following query and its answer: splint mailing list query
It is similar to the one you posted. Might be of some help.
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow