From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1424354AbcFMTsg (ORCPT ); Mon, 13 Jun 2016 15:48:36 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:6994 "EHLO mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1423023AbcFMTse (ORCPT ); Mon, 13 Jun 2016 15:48:34 -0400 X-IronPort-AV: E=Sophos;i="5.26,467,1459807200"; d="scan'208";a="181132208" Date: Mon, 13 Jun 2016 21:48:30 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@localhost6.localdomain6 To: Wolfram Sang cc: "Luis R. Rodriguez" , 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: <20160613185521.GB2238@katana> Message-ID: References: <20160610211820.GG11948@wotan.suse.de> <20160610214357.GA1650@katana> <20160610214900.GH11948@wotan.suse.de> <20160610215126.GB1650@katana> <20160610220831.GI11948@wotan.suse.de> <20160610222521.GJ11948@wotan.suse.de> <20160611054625.GA1824@katana> <20160613183759.GN11948@wotan.suse.de> <20160613185521.GB2238@katana> 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 Mon, 13 Jun 2016, Wolfram Sang wrote: > > > Is there another scripts/coccinelle/ file I can use to test against to demo > > against glimpse/idutils/gitgrep best? > > I'd think this one may be a candidate: > > scripts/coccinelle/misc/irqf_oneshot.cocci > > Not too many, but quite some matches over the tree. Seems like a reasonable choice. julia