I looked at it a bit more, and I think the timeout is the best solution. The big jump backwards is under an if, and the pattern tries to match an if up to a return, which tries to go across gotos. So I think it is just a pathologically bad case.
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
