Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1759867Ab2BJSgf (ORCPT ); Fri, 10 Feb 2012 13:36:35 -0500 Received: from mail-pz0-f46.google.com ([209.85.210.46]:58300 "EHLO mail-pz0-f46.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1759807Ab2BJSgd (ORCPT ); Fri, 10 Feb 2012 13:36:33 -0500 Message-ID: <1328899121.22240.89.camel@sauron.fi.intel.com> Subject: Re: [Cocci] Re: [PATCH] scripts/coccinelle/misc/boolinit.cocci: semantic patch for bool issues From: Artem Bityutskiy Reply-To: dedekind1@gmail.com To: Joe Perches Cc: Julia Lawall , Michal Marek , Gilles Muller , bruce.w.allan@intel.com, rusty@rustcorp.com.au, kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org, cocci@diku.dk, Julia Lawall Date: Fri, 10 Feb 2012 20:38:41 +0200 In-Reply-To: <1328895943.14197.1.camel@joe2Laptop> References: <1328893887-28932-1-git-send-email-Julia.Lawall@lip6.fr> <1328895943.14197.1.camel@joe2Laptop> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-R6rioU4jrIJt9pj5UXJG" X-Mailer: Evolution 3.2.3 (3.2.3-1.fc16) Mime-Version: 1.0 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1869 Lines: 52 --=-R6rioU4jrIJt9pj5UXJG Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Fri, 2012-02-10 at 09:45 -0800, Joe Perches wrote: > On Fri, 2012-02-10 at 18:11 +0100, Julia Lawall wrote: > > From: Julia Lawall >=20 > Thanks Julia. It seems to work well. >=20 > Someone could run this with: >=20 > $ make coccicheck COCCI=3Dscripts/coccinelle/misc/boolinit.cocci I've executed it for ARCH=3Di386 and i386_defconfig, I can send the patch tomorrow, but it going to be big AFAICS. --=20 Best Regards, Artem Bityutskiy --=-R6rioU4jrIJt9pj5UXJG Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAABAgAGBQJPNWQxAAoJECmIfjd9wqK0HLMP/A8oS3TQo3MkpqjSVMhoy5PF JvggH1FR6h/IEV5cB32z0M2volNHmyO1VTRFzvvClHU0XMqqbPWhKQqR+CaUF5Wd 5NItHEptDyaQ6Yh1LNyyCF+GIw28qkttOk2kos6EQLTCYB2eVjWPd1fEhnORqbVB OH0j3fuvYf9kTx/LEBAOcVpskzSICxnZqdDiQUxG4jXme+Jt8eJxsMHhJ40Ql+NQ mbPWonDYmpIl+nS0v4ldbRw5gO9ZAk7mt+16THCguDlw9wFcoYYILxfzcAaSeFvy a4J5XVbKHZZUaGoQ4BHLcBrqOMj4b3bEo/7QdKGgNxYM9HUeQoUbJbtCDHq5eMsj PLnT1RiPqXY9oq05TBPlaYd8oXoPGX9Yo03Aiu8Bc5YRumKSkHm14kMy/VDX6PJx olUPq2YCbb8o6QVHeEelNR2elVAAmxThjO6EG4JgQGSUl8drUFPq6lnBtV2ZiWMy /ksVLEUzsknaRqMhXo3uwR1jy1UchsmAK/pTANWBIqwHAAcZ6EkjUdvtZyOsZ6Ac yqcn4iQ0LJcofTXvSb8liqKaRaOSdlDDsvmzCG1T9z6vTETk60+BlU+3AGa/7znP gEAPJE+nxtQN1NuehJ/HTywDwLtL+ToURpLurGsIMXYlXN1Cp1lMS1+fZyA6qO4Y /dqoo3QUg0yYlgNfN9gz =yTLr -----END PGP SIGNATURE----- --=-R6rioU4jrIJt9pj5UXJG-- -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/