Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options
From: Julia Lawall
Date: Sat Jun 11 2016 - 01:17:43 EST
On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> On Fri, Jun 10, 2016 at 11:43:57PM +0200, Wolfram Sang wrote:
> > > > Well, slightly better.
> > >
> > > No, it should be much better. You would have to look at the standard
> >
> > I use id-utils regularly and it is indeed at least a magnitude better.
> > The indexing often pays off already with the first coccinelle run for
> > me. Highly recommended.
>
> AFAICT coccinelle does not have integration support for id-utils though.
Yes it does, for years.
julia