Comment résoudre une erreur d'analyse dans Splint

Question

Splint ne poursuit pas sa vérification après avoir trouvé des erreurs d'analyse. J'ai essayé avec l'option + trytorecover aussi mais pas de changement. Veuillez me faire savoir comment utiliser + trytorecover pour que Splint tente de continuer après une erreur d'analyse.

Voici ce que je reçois,

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. 

Answer 1

Pouvez-vous poster l'extrait de code qui provoque l'erreur?

Mise à jour:

Soit dit en passant - je faisais face à une erreur d'analyse dans une attelle (pas semblable à celui que vous avez publié) et affiché une requête sur les listes de diffusion d'attelle. J'ai eu une réponse rapide. J'ai plus tard googlé pour "déclaration de non-fonction de l'attelle" et trouvé la requête suivante et sa réponse: splint mailing list query

Il est similaire à celui que vous avez posté. Ça pourrait être utile.