Main changes: * There is a --use-gitgrep option for using git grep to preselect files. I'm not sure about the exact performance tradeoffs.
* Small improvement on the handling of "default:" in a switch. * A change in the treatment of ... in functions that contain loops. This could potentially cause a performance problem, although I have not observed it. The previous version was incorrect, though. Some further performance improvements could be possible. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
