From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751704AbcFKFSq (ORCPT ); Sat, 11 Jun 2016 01:18:46 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:34304 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751395AbcFKFSp (ORCPT ); Sat, 11 Jun 2016 01:18:45 -0400 X-IronPort-AV: E=Sophos;i="5.26,454,1459807200"; d="scan'208";a="222007820" Date: Sat, 11 Jun 2016 07:18:42 +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: <20160610220831.GI11948@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> <20160610215126.GB1650@katana> <20160610220831.GI11948@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 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