On 11/3/22 13:32, Gerald Pfeifer wrote: > Hi Martin, > > On Wed, 26 Oct 2022, Martin Liška wrote: >> +Note the enabled sanitizer options tend to increase a false-positive rate >> +of selected warnings, most notably @option{-Wmaybe-uninitialized}. >> +And thus we recommend to disable @option{-Werror}. > > I've been sitting muling over this and here is what I'm wondering might > be a possible alternative? > > Note that sanitzers tend to increase the rate of false positive > warnings, most notably those around @option{-Wmaybe-uninitialized}. > We recommend against combining @option{-Werror} and [the use of] > sanitzers. > > > Rationale for the second sentence: Disabling a warning that is off by > default confused my mental model (and maybe those of other readers). :-) > > What do you think?
I welcome it and I've pushed pushed your version. Thanks, Martin > > Gerald