Re: [Cocci] coccinelle hung on mini_lock.cocci

Julia Lawall
2012-07-25T15:19:44Z

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