On Wed, Jul 25, 2012 at 05:19:40PM +0200, Julia Lawall wrote: > 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.
OK, Thanks for looking into this so quickly! I've added the timeout shortly after your initial suggestion :) Thanks, Fengguang _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
