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