From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751549AbcFKFRk (ORCPT ); Sat, 11 Jun 2016 01:17:40 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:54693 "EHLO mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750973AbcFKFRj (ORCPT ); Sat, 11 Jun 2016 01:17:39 -0400 X-IronPort-AV: E=Sophos;i="5.26,454,1459807200"; d="scan'208";a="180912038" Date: Sat, 11 Jun 2016 07:17:35 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@localhost6.localdomain6 To: "Luis R. Rodriguez" cc: Wolfram Sang , cocci@systeme.lip6.fr, mmarek@suse.com, linux-kernel@vger.kernel.org Subject: Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options In-Reply-To: <20160610214900.GH11948@wotan.suse.de> Message-ID: References: <1465591332-31113-1-git-send-email-mcgrof@kernel.org> <1465591332-31113-5-git-send-email-mcgrof@kernel.org> <20160610211820.GG11948@wotan.suse.de> <20160610214357.GA1650@katana> <20160610214900.GH11948@wotan.suse.de> User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org 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