Messages in this thread | | | Date | Mon, 16 Jun 2014 13:20:49 +0200 (CEST) | From | Jiri Kosina <> | Subject | Re: [PATCH] tell gcc optimizer to never introduce new data races |
| |
On Mon, 16 Jun 2014, Andreas Schwab wrote:
> > 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.
How reliable is this format across GCC versions? GCC manpage doesn't seem to list it as a valid alternative.
-- Jiri Kosina SUSE Labs
| |