> > 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. > Is that fixable? Or something to keep in the back of the mind to use <... ...> > only scarcely when absolutely necessary?
No, I don't think it is fixable in general, although it might be fixable in this case where the <... ...> takes up the entire body of the function. Actually, I think I had an optimization like that, but it might have turned out to be a bad idea. But anyway, not using it is always faster than using it. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
