Hello, I have tried the following command out with the software combination “Coccinelle 1.0.8-00004-g842075f7”.
elfring@Sonne:~/Projekte/git/lokal> spatch --parse-c sha1dc/sha1.c … bad: #ifdef DOSTORESTATE5 TYPEDEF:_handle_typedef=false. Not normal if don't come from exn ERROR-RECOV: found sync col 0 at line 806 parsing pass2: try again TYPEDEF:_handle_typedef=false. Not normal if don't come from exn ERROR-RECOV: found sync col 0 at line 806 parsing pass3: try again TYPEDEF:_handle_typedef=false. Not normal if don't come from exn ERROR-RECOV: found sync col 0 at line 806 parse error = File "sha1dc/sha1.c", line 1000, column 16, charpos = 40489 around = '5', whole content = SHA1_RECOMPRESS(5) badcount: 4 … The run time characteristics are also undesirable at this place. https://github.com/git/git/blob/4125f78222749cb8fc91115abec3ac83e5dfb194/sha1dc/sha1.c#L390 Will it matter to improve the shown parsing results any further? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci