Splint在找到解析错误后没有继续检查。我尝试过+ trytorecover选项,但没有改变。
请告诉我如何使用+ trytorecover让Splint在解析错误后继续尝试继续。
这是我收到的内容,
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.
答案 0 :(得分:1)
您可以发布导致错误的代码段吗?
<强>更新强>
顺便说一句 - 我在splint中遇到了一个解析错误(与你发布的错误类似),并在splint邮件列表上发布了一个查询。我得到了迅速的回应。我后来用Google搜索了“夹板非功能声明”并找到了以下查询及其答案:splint mailing list query
它类似于您发布的那个。可能会有所帮助。