1

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.
4

0 回答 0