From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752706AbcFJVoL (ORCPT ); Fri, 10 Jun 2016 17:44:11 -0400 Received: from sauhun.de ([89.238.76.85]:40682 "EHLO pokefinder.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751354AbcFJVoK (ORCPT ); Fri, 10 Jun 2016 17:44:10 -0400 Date: Fri, 10 Jun 2016 23:43:57 +0200 From: Wolfram Sang To: Julia Lawall 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 Message-ID: <20160610214357.GA1650@katana> References: <1465591332-31113-1-git-send-email-mcgrof@kernel.org> <1465591332-31113-5-git-send-email-mcgrof@kernel.org> <20160610211820.GG11948@wotan.suse.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="fdj2RfSjLxBAspz7" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.24 (2015-08-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org --fdj2RfSjLxBAspz7 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable > > Well, slightly better. >=20 > No, it should be much better. You would have to look at the standard=20 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. --fdj2RfSjLxBAspz7 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJXWzScAAoJEBQN5MwUoCm2nx4P/0x0zXsIGuZqJuIjpkHaFTwF 8jYLTivpx22rK0xAGbQvMTw57mRKufH0X+VYQfPjPo+I9znvWDf1tcOjtHGNvuuu X+DxlCI2ExNnN0wxRcqpddAiTFskvNPrnyKZhOPPyEbLMuUYACAJ6rd2lFsnnKKt Kgyl1wFubSehOSMOK9hBsESexea3Js0ahlXxxQm1Xu5CLO2rJ7PTR2tDsNzCgYR6 auO8hKUO1taRdi3D+VjgI3aT9a3d1yykHCnC1t+dN7sBWIOcMbbgncZ7IFYDA/Jh 22CdNLhyZQBePNOfeUbwoSHedVUHDyaE5J5VITd8xrtmPcBrw7SHRWkWkHOtXAR+ lS05/7wpZaGvQqoKcSgyYNMQncbj9gi7nae+VqiSBBDgPknSXcCpp1Fy9nk5Jv3Y N2bnr9b+HGQt0TOjiIE3R36wVKwksdsL+iR9yRXAZz94sSWURQlaV1PdpQYcaLAC hSUiotGXF731lCr3k2vqKR+OkICiuyXbHmHC8sVZiEkb96jO6+OSlKMVo9gF9G6E GaryM7/nXk+0EPbK9LNMl3/+SLVkEBmWjx1f2ENR+AjRkptv6jicfuos4fs7LFbf HCgZ+sW24zpPpyrM5xB/P99JDz/FJZQGmuatHnD1ERnPeMd+emh0LG+pSyPSv2T/ LGlWp3eqK/F9khcxDFPG =5hcC -----END PGP SIGNATURE----- --fdj2RfSjLxBAspz7--