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 patholo
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
--
To unsubscribe from this list: send the li
On Wed, Jul 25, 2012 at 04:43:04PM +0200, Julia Lawall wrote:
> On Wed, 25 Jul 2012, Fengguang Wu wrote:
>
> > Hi Julia,
> >
> > On Wed, Jul 25, 2012 at 04:15:19PM +0200, Julia Lawall wrote:
> > > Do you use a timeout when you run Coccinelle You could put the argument
> > > --timeout 120.
> >
> >
On Wed, 25 Jul 2012, Fengguang Wu wrote:
> Hi Julia,
>
> On Wed, Jul 25, 2012 at 04:15:19PM +0200, Julia Lawall wrote:
> > Do you use a timeout when you run Coccinelle You could put the argument
> > --timeout 120.
>
> Good to know that! I'll definitely try it.
Are you using the existing framewor
Hi Julia,
On Wed, Jul 25, 2012 at 04:15:19PM +0200, Julia Lawall wrote:
> Do you use a timeout when you run Coccinelle You could put the argument
> --timeout 120.
Good to know that! I'll definitely try it.
> The function has a goto from the very end to the very beginning, and there
> are a lot
Do you use a timeout when you run Coccinelle You could put the argument
--timeout 120.
The function has a goto from the very end to the very beginning, and there
are a lot of ifs in between. It seems possible that there is too much
information, and it gets too slow. I will look further.
julia
Thanks for the report! I will look into it.
julia
On Wed, 25 Jul 2012, Fengguang Wu wrote:
> Hi all,
>
> This command seem to hang for ever on the current linus/master.
> It happens only on mini_lock.cocci _and_ mm/shmem.c
> I've updated coccinelle to its git release, however it didn't help..
>
Hi all,
This command seem to hang for ever on the current linus/master.
It happens only on mini_lock.cocci _and_ mm/shmem.c
I've updated coccinelle to its git release, however it didn't help..
% spatch -debug -D report -I /c/kernel-tests/src/linux/include -sp_file
/c/kernel-tests/src/linux/scri
8 matches
Mail list logo
