题
发现解析错误后,夹板没有继续检查。我也尝试了 +TryToreCover选项,但没有更改。
请让我知道如何使用 +trytorecover在解析错误后尝试继续尝试夹板。
这是我收到的,
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.
解决方案
您可以发布导致错误的代码段吗?
更新:
顺便说一句 - 我面临着夹板中的解析错误(与您发布的夹板不同),并在夹板邮件列表上发布了查询。我得到了迅速的回复。后来我谷歌搜索了“夹板非功能声明”,发现以下查询及其答案: 夹板邮件列表查询
它类似于您发布的。可能会有所帮助。
不隶属于 StackOverflow