发现解析错误后,夹板没有继续检查。我也尝试了 +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.
有帮助吗?

解决方案

您可以发布导致错误的代码段吗?

更新:

顺便说一句 - 我面临着夹板中的解析错误(与您发布的夹板不同),并在夹板邮件列表上发布了查询。我得到了迅速的回复。后来我谷歌搜索了“夹板非功能声明”,发现以下查询及其答案: 夹板邮件列表查询

它类似于您发布的。可能会有所帮助。

许可以下: CC-BY-SA归因
不隶属于 StackOverflow
scroll top