Messages in this thread | | | Date | Mon, 16 Jun 2014 15:37:03 +0100 | From | Mark Brown <> | Subject | Re: [PATCH] tell gcc optimizer to never introduce new data races |
| |
On Mon, Jun 16, 2014 at 12:52:10PM +0200, Andreas Schwab wrote: > Dan Carpenter <dan.carpenter@oracle.com> 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. [unhandled content-type:application/pgp-signature] | |