From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751641AbcFKFyn (ORCPT ); Sat, 11 Jun 2016 01:54:43 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:8781 "EHLO mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751115AbcFKFym (ORCPT ); Sat, 11 Jun 2016 01:54:42 -0400 X-IronPort-AV: E=Sophos;i="5.26,454,1459807200"; d="scan'208";a="180913445" Date: Sat, 11 Jun 2016 07:54:39 +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: <20160611054625.GA1824@katana> 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> <20160610222521.GJ11948@wotan.suse.de> <20160611054625.GA1824@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 Sat, 11 Jun 2016, Wolfram Sang wrote: > > > real 16m11.692s > > user 127m50.388s > > sys 0m2.168s > > That's better but not a magnitude, I wonder. I think that it is because the filtering that Coccinelle does already works pretty well, and there are quite a lot of files (7514) that contain kfree. julia