Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754554AbaFPOho (ORCPT ); Mon, 16 Jun 2014 10:37:44 -0400 Received: from mezzanine.sirena.org.uk ([106.187.55.193]:44009 "EHLO mezzanine.sirena.org.uk" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752171AbaFPOhl (ORCPT ); Mon, 16 Jun 2014 10:37:41 -0400 Date: Mon, 16 Jun 2014 15:37:03 +0100 From: Mark Brown To: Andreas Schwab Cc: Dan Carpenter , Jiri Kosina , Linus Torvalds , "Paul E. McKenney" , Peter Zijlstra , Andrew Morton , Martin Jambor , Petr Mladek , linux-kernel@vger.kernel.org, gcc@gcc.gnu.org, linux-sparse@vger.kernel.org Message-ID: <20140616143703.GF5099@sirena.org.uk> References: <20140616102927.GA2994@mwanda> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="j5J5lYLHcSGsXTNV" Content-Disposition: inline In-Reply-To: X-Cookie: Ditat Deus. User-Agent: Mutt/1.5.23 (2014-03-12) X-SA-Exim-Connect-IP: 94.175.94.161 X-SA-Exim-Mail-From: broonie@sirena.org.uk Subject: Re: [PATCH] tell gcc optimizer to never introduce new data races X-SA-Exim-Version: 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000) X-SA-Exim-Scanned: Yes (on mezzanine.sirena.org.uk) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org --j5J5lYLHcSGsXTNV Content-Type: text/plain; charset=us-ascii Content-Disposition: inline On Mon, Jun 16, 2014 at 12:52:10PM +0200, Andreas Schwab wrote: > Dan Carpenter writes: > > Adding "--param allow-store-data-races=0" to the GCC options for the > > kernel breaks C=1 because Sparse isn't expecting a GCC option with that > > format. > Please try --param=allow-store-data-races=0 instead. That appears to work for me. --j5J5lYLHcSGsXTNV Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBAgAGBQJTnwEMAAoJELSic+t+oim9V18P/jBvkywh+YQMj8yAbpOmvBiv nzkFZxdSSKgqrjSz8kxt2D19jx8HzNVXIPY3Kb8jqwcOT/YWRYkey+AkMFyhDOpt fT7i1zv5TOV2wDgspXRJwLLYCfMc/y0BpEGm8J7Td8NbxSpn8UNdqK2nCdE7j+fI Hx4t3Pdfthb0od6Os9gVZLyIbJfcU+3BugTxkQ3lxXoJQDKbc5jT1dLw02GORJ0y Y7mQNZZyHYvQmucBm4k54mqc3X/rJSyf73EV5jgpQx0DZu0OI4XMC5eIODbmhFl9 Xo0N5E3s+xbjv4mUAvWYcjZGDap7/Gugz5TMSeDQjRLLBUvMwmerj8wNx4zLwnay jqF63GXYhLi7mFrk5sI5KdKlxAKj3l9MhPZBnbo8EjcZrTkmI7aBcFbd9VUZBJo3 Gucx6LSBKAnfm/IZdsVyOZ90ngUSowoBq4mqodDC01oLdd45Ek1uaYqNeh77JUPJ oiOUGgG3bpIz86v18/CpcliZ9fS94aFv0YdIkA3MpqqN41pwBdBKCV/AnKYuDSIq qzqDmiCc/DtlWZzORcr9OLfSvqMpijDcPRecH1f1mwl+upMgILvjTLsbfOkKAKPH tJCcU2fzTRLZAkq01HmdU9pa1nYC4kera5NvUOloGIi03TC7uVqZmieRF91+kyns MTjYAnN+WCq+AIk3ctpU =FSo7 -----END PGP SIGNATURE----- --j5J5lYLHcSGsXTNV-- -- 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/