[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <alpine.DEB.2.02.1606110717540.2114@localhost6.localdomain6>
Date: Sat, 11 Jun 2016 07:18:42 +0200 (CEST)
From: Julia Lawall <julia.lawall@...6.fr>
To: "Luis R. Rodriguez" <mcgrof@...nel.org>
cc: Wolfram Sang <wsa@...-dreams.de>, cocci@...teme.lip6.fr,
mmarek@...e.com, linux-kernel@...r.kernel.org
Subject: Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement
options
On Sat, 11 Jun 2016, Luis R. Rodriguez wrote:
> On Fri, Jun 10, 2016 at 11:51:26PM +0200, Wolfram Sang wrote:
> > > AFAICT coccinelle does not have integration support for id-utils though.
> >
> > I used it just today ;) -- "--use-idutils ./ID"
> >
> > ID was generated with simple 'mkid -s'.
> >
>
> Sweet, testing that now.
It's not as efficient as glimpse because the query language is simpler.
So more filtering has to be done at the ocaml level. But it's probably
fine in most cases.
julia
Powered by blists - more mailing lists