I think that fixme_traditional is slower than fixme_regexp because when the | is exposed to Coccinelle, it makes an effort to do the matching from left to right. Here there is no ambiguity, but it is not clever enough to figure that out in general.
I have the impression that <... ...> is faster than <+... ...+>. Bot are slow because they consider all control flow paths through the function. This in turn leads to many permutations of bindings of the position variables. Because some of the relevant code is under ifs, not all paths contain the same set of positions. Thanks for the examples, julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
