[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20120725164430.GA2421@localhost>
Date: Thu, 26 Jul 2012 00:44:30 +0800
From: Fengguang Wu <fengguang.wu@...el.com>
To: Julia Lawall <julia.lawall@...6.fr>
Cc: Coccinelle <cocci@...u.dk>, Nicolas Palix <npalix@...u.dk>,
LKML <linux-kernel@...r.kernel.org>
Subject: Re: [Cocci] coccinelle hung on mini_lock.cocci
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
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists